java modeling language jml

We have hosted the application java modeling language jml in order to run this application in our online workstations with Wine or directly.

Quick description about java modeling language jml:

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.

Features:

• OpenJML: jmlspecs.sourceforge.net

Audience: Information Technology, Science/Research, Education, Developers.
User interface: X Window System (X11), Win32 (MS Windows), Cocoa (MacOS X).
Programming Language: Java.

.