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

Question

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

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

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

Благодарю.

2

java specifications jml

Источник

user166789 08 янв '11 в 12:39

1 ответ

Решение

Другие вопросы по тегам java specifications jml

user402560 24 мар '11 в 18:32 2011-03-24 18:32 · Accepted Answer · 2011-03-24 18:32

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

Инфраструктура может автоматически вставлять контракты в качестве динамических проверок во время выполнения с использованием автономного средства перезаписи байт-кода.