Java Modeling Language (JML) / News: Recent posts

OpenJML/jmldoc 20090502 alpha release

A new alpha release of openjml containing an implementation of jmldoc is available from the JML download page. jmldoc combines the javadoc tool of OpenJDK and the JML parsing and checking of the openjml framework in order to create javadoc pages containing JML specifications. It is a drop-in command-line replacement for javadoc.

Posted by David Cok 2009-05-03

JML 5.6 release candidate 4 available

JML is a design by contract specification language for Java. JML features several tools, including HTML generation, runtime assertion checking, and unit testing. This release includes jmle, a prototype execution tool and also model programs (greybox specifications). There are several other bug fixes and enhancements.

Posted by Gary T. Leavens 2009-03-16

JML 5.6 release candidate 2 available

JML is a design by contract specification language for Java. JML features several tools, including HTML generation, runtime assertion checking, and unit testing. This release includes jmle, a prototype execution tool. There are several other bug fixes and enhancements.

Posted by Gary T. Leavens 2008-04-22

JML 5.5 released: Design by Contract for Java

JML is a design by contract specification language for Java. JML features several tools, including HTML generation, runtime assertion checking, and unit testing. This release features simplified runtime assertion checking. It still allows JML to be used with a Java 1.5 VM, but not for Java 1.5 sources. There are several other bug fixes and enhancements.

Posted by Gary T. Leavens 2008-01-10

OpenJML

A first (alpha) version of a JML checker for Java 1.6, built from the OpenJDK sources, is now available.

Posted by David Cok 2007-12-11

JML now has a WIki

There is now a wiki for JML at
http://jmlspecs.wiki.sourceforge.net/

Posted by Gary T. Leavens 2007-08-02