Welcome, Guest! Log In | Create Account

Share

Java Modeling Language (JML)

by cclifton, chalin, cheon, davidcok, leavens, robby_sf

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.


http://jmlspecs.sourceforge.net

Code Generators, Compilers, Debuggers, Education

Project Feed

Java Modeling Language (JML) Actions