Java Modeling Language (JML) Icon

Java Modeling Language (JML)

beta

Add a Review
17 Downloads (This Week)
Last Update:
Download openjml.tar.gz
Browse All Files
Windows 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

Developers, Education, Information Technology, Science/Research

User Interface

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

Programming Language

Java

Registered

2002-10-21
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.