Программы www.jmlspecs.org

Язык моделирования Java (JML) — это язык спецификации поведенческого интерфейса, который может быть использован для уточнения поведения модулей Java (как в дизайне по контракту -- DBC). Он имеет много инструментов, чтобы сдел