Java Modeling Language (JML) Icon

Java Modeling Language (JML)

beta
Add a Review
12 Downloads (This Week)
Last Update:
Download openjml.tar.gz
Browse All Files
Windows BSD Mac Linux

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

Update Notifications





Write a Review

User Reviews

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

Additional Project Details

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

Registered

2002-10-22
Screenshots can attract more users to your project.
Features can attract more users to your project.

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