Хорошая библиотека разработки по контракту для Java? [закрыто] ⇐ JAVA

[Anonymous]

Несколько лет назад я провел обзор пакетов DbC для Java, и ни один из них меня не полностью удовлетворил. К сожалению, я не вел хороших записей о своих открытиях и предполагаю, что все изменилось. Кто-нибудь захочет сравнить и сопоставить различные пакеты DbC для Java?

Подробнее здесь: https://stackoverflow.com/questions/107 ... y-for-java