 |
| ||||
JML or Java Modeling Language, is a behavioral interface specification language that a user can use to specify the behavior of Java modules.
The language combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages. It also features some elements of the refinement calculus.
Requirements:
· Java
