Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Java Modeling Language
open-in-new
<p>The Java Modeling Language (JML) is a <a href="/facts/Specification_language/vqNInfdh">specification language</a> for <a href="/facts/Java_(programming_language)/9ScgFyAL">Java</a> programs, using <a href="/facts/Hoare_logic/UoMg08wo">Hoare style</a> <a href="/facts/Precondition/dWbBdG2e">pre-</a> and <a href="/facts/Postcondition/4tF1Havd">postconditions</a> and <a href="/facts/Invariant_(computer_science)/9TeNN2ed">invariants</a>, that follows the <a href="/facts/Design_by_contract/PjacMRRd">design by contract</a> paradigm. Specifications are written as <a href="/facts/Java_annotation/bEff4u2b">Java annotation</a> comments to the source files, which hence can be compiled with any Java <a href="/facts/Compiler/WNfCDFJe">compiler</a>. </p><p>Various verification tools, such as a runtime assertion checker and the Extended Static Checker (<a href="/facts/ESC%2fJava/xmkTq8NF">ESC/Java</a>) aid development. </p>