Программы contractpp.sf.net

Программирование по контракту (ака Дизайн по контракту). Все поддерживаемые функции Eiffel: Дополнительная компиляция контракта; Настраиваемое действие при сбое; Субподряд; Старые и результатные значения; Блок-иварианты, вари