Я ищу альтернативные варианты языков спецификации для Java, например, JML.
Кто-нибудь знает что-нибудь?
Спасибо.
Контракты для Java (http://code.google.com/p/cofoja/) - проект Google, позволяющий писать контракты методов в аннотациях Java.
Каркас может автоматически вставлять контракты в виде динамических проверок во время выполнения с использованием автономного режима bytecode rewriter.