Examine "The Java Modeling Language" (JML)
ferhaterata opened this issue · 0 comments
ferhaterata commented
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus.