![](/statics/img/blank.png)
Java Modeling Language (JML)
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 4.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О Java Modeling Language (JML)
Язык моделирования Java (JML) — это язык спецификации поведенческого интерфейса, который может быть использован для уточнения поведения модулей Java (как в дизайне по контракту -- DBC). Он имеет много инструментов, чтобы сделать проверку утверждения, единицы тестирования и т.д.