The "/Active Stable 2.x/2..ses/jGnash-2.5.1.zip" file could not be found or is not available. Please select another file.

Java Modeling Language (JML)

beta
7 Recommendations
32 Downloads (This Week)
Download openjml.tar.gz
Browse All Files

Description

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.

Java Modeling Language (JML) Web Site

Features

  • OpenJML: jmlspecs.sourceforge.net

User Ratings

100% recommended
 
 
7
0
Write a Review

User Reviews

Be the first to post a review of Java Modeling Language (JML)!

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.