JML альтернативы

Question

Я ищу альтернативные варианты языков спецификации для Java, как JML.

Кто-нибудь знает?

Спасибо.

Answer 1

Контракты на Java (http://code.google.com/p/cofoja/) - это проект Google, который позволяет вам писать методы контрактов в аннотациях Java.

Рамки могут автоматически вставлять контракты как динамические проверки времени выполнения, используя в автономном режиме Bytecode. Переписать.