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