The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
Java Modeling Language (JML) is a free software application from the Other subcategory, part of the Development category.
The app is currently available in English and it was last updated on 2011-02-13. The program can be installed on All 32-bit MS Windows (95/98/NT/2000/XP)
All POSIX (Linux/BSD/UNIX-like OSes)
OS Independent (Written in an interpreted language).
Java Modeling Language (JML) (version ) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 70 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.