This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.

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.

The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Java Modeling Language (JML)

Java Modeling Language (JML) Web Site

Other Useful Business Software
Simplify IT and security with a single endpoint management platform Icon
Simplify IT and security with a single endpoint management platform

Automate the hardest parts of IT

NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers. The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD, Mac, Windows

Languages

English

Intended Audience

Information Technology, Science/Research, Education, Developers

User Interface

X Window System (X11), Win32 (MS Windows), Cocoa (MacOS X)

Programming Language

Java

Related Categories

Java Code Generators, Java Debuggers, Java Compilers, Java Education Software

Registered

2002-10-22