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.
Categories
License
Features
- OpenJML: jmlspecs.sourceforge.net
Update Notifications
User Ratings
User Reviews
Be the first to post a review of Java Modeling Language (JML)!