Source: wikibot/java-modeling-language

= Java Modeling Language
{wiki=Java_Modeling_Language}

Java Modeling Language (JML) is formal specification language used to describe the behavior of Java modules (classes and interfaces) in a way that is understandable to both humans and computers. JML is an extension of the Java programming language, designed to specify what a program is supposed to do rather than how it does it.