JML

JML redirects here. JML is also the abbreviation for a British company called John Mills LtdThe Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using  pre- and postconditions and invariants. The specifications are added as annotation comments to the Java program, which hence can be compiled with any Java compiler. There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker (ESC/Java).
See more at Wikipedia.org...

[jumlah] amount