Java Modeling Language 5.6 RC2
File ID: 76875
Java Modeling Language 5.6 RC2 Description
Description: 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 methodd-deOaos 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.
Related: behavior, Interface, syntactic, method, Specification, Approach, Design, modifiers, describes, types, happen, return, formal, exceptions, checked, parameters, throwthe, java modeling language 5 6 rc2
O/S:BSD, Linux, Solaris, Mac OS X
File Size: 13.5 MB
|More Similar Code|
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.
Developer tools for EXPRESS (ISO 10303-11), an information modeling language. The core of this project is a Java Express parser using the ANTLR parser generator. This project was initiated by the National Institute of Standards and Technology.
Written for the working Java developer, Joshua Bloch's Effective Java Programming Language Guide provides a truly useful set of over 50 best practices and tips for writing better Java code. With plenty of advice from an indisputable expert in the...
The Java Curses Library (JCurses) is a library for developing text terminal based applications using Java programming language. It is implemented as a Windowing toolkit similar to AWT, but built upon the UNIX "curses" windowing system.
A collection of utilities to ease the work with images in java programming language.
Jalopy is a source code formatter/beautifier/pretty printer for the Java programming language. It is aimed to provide a full-featured, yet free alternative to the well-known Jindent. Plug-ins for Ant, Eclipse, IDEA, JBuilder, JDeveloper, jEdit,...
IPAT-S is a scenario modeling language. Use it for rapid development of quantitative strategic scenarios for governments, agencies, businesses, etc. using a fast and compact interpreted language. Package includes IPAT Studio development environment.
This project will hope to provide an application (using the Java coding language) that will manage facts and citations used in writing research reports. The application will have the ability to manage facts and create citations in accepted formats.
The Register Description Language (RDL) is an object modeling language used to specify and implement software accessible hardware registers and memories. A RDL compiler can create synthesizable HDL, documentation, driver code, system-c models, and...
The CYbot Control LanguagE (or Cycle for short) is a Java-like language for programming Ultimate Real Robots' Cybot and TOM robots, with an open source compiler which produces files which can be loaded into Real Robots software for testing and...
|User Review for Java Modeling Language