Java Modeling Language
ID: 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.
New to topics? Read the docs here!