About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review
  • License: Freeware
  • Last update: 7 years ago
  • Total downloads: 174
  • Price: Free |
  • Operating system: Linux, Mac OS X, Win All, BSD, Solaris
  • Publisher: JML Development Team
See full specifications

scripts default iconJava Modeling Language Publisher's description

Java Modeling Language is a behavioral interface specification language.

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus.

As such it allows one to specify both the syntactic interface of Java code and its behavior. The syntactic interface of Java code consists of names, visibility and other modifiers, and type checking information. For example, the syntactic interface of a method can be seen in the method’s header, which lists its modifiers, name, return type, the types of its formal parameters, and the types of the (checked) exceptions it may throw.

The behavior of Java code describes what should happen at runtime when the code is used. For example the behavior of a method describes what should happen when the method is called; as we have discussed above, the behavior of a method is often specified using pre- and post conditions.

Since JML can document both the syntactic interface and behavior of Java code, it is well-suited to documenting detailed design decisions about Java code.

System Requirements:

No special requirements.
Program Release Status:
Program Install Support: Install Only

Is Java Modeling Language your software?

Manage your software

Most Popular

scripts default icon Tomcat 6.0.24
Apache Tomcat is an open source software implementation of the Java Servlet and JavaServer Pages technologies
scripts default icon mvnForum 1.0.2GA
mvnForum is an open source, powerful, easy to use, easy to setup bulletin board
scripts default icon jlGui - Java Music Player - WinAmp clone 3.0
jlGui is a music player for the Java platform, WinAmp skins 2.0 compliant
scripts default icon InfoCaptor Dashboard Designer 2.1
InfoCaptor is a complete reporting and dashboard solution
scripts default icon JDownload for Download Managers 0.9
JDownload is a download manager, which can be installed onto a homepage.