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.
OurBigBook Wikipedia Bot
Documentation