Java Modeling Language (JML) 4.1

The Java Modeling project (JML) has released version 4.1_rc5. With lots of additions this release candidate includes a new graphical user interface for the main tools, emacs macros, "implicit promotion of integral expressions to arbitrary precision arithmetic (bigint_math mode) from inside specifications (but not in Java code)," jmlunit inprovements, and more. "JML is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in DBC). It has tools to do runtime assertion checking, unit testing, generate HTML, static checking, etc.

Return to java.net News.

java.net RSS Feeds