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

Структура проектирования по контракту (DBC) для Java 1.5, которая использует аннотации для объявления предварительных условий, посткондиций и т.д. В отличие от других структур по контракту, не требует предварительной компенса