Java Modeling Language 5.6 RC2

Publisher: JML Development Team Date added: 27 March, 2013
License: Freeware Size: 13.5 MB

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules.

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.

Tags: Behavior , Interface , Syntactic , Method , Specification , Approach , Design , Modifiers , Describes , Types , Happen , Return , Formal , Exceptions , Checked , Parameters , Throwthe , Java Modeling Language 5 6 Rc2
Platforms: Linux, Mac OS X, Win All, BSD, Solaris
Requirements: No special requirements.
Java Modeling Language 5.6 RC2 - Post Your Review
 * 
 * 
     
 * 
Related Scripts

API Payment Method For SSL Enabled Servers. Used with all builds of osCommerce v2.

The "CookieInfo" and "Cookie" classes provide developers with an read-only interface to the "cookies.txt" that most browsers store. The CookieInfo class makes Cookie objects from the cookie file.

This class supports simple scripting of a telnet session. When created, it takes the name of the host and an optional dictionary. Scripts are passed to the object's RunScript method as a list of strings.

This program interfaces the 3270 HLLAPI library of an Italian 3270 emulator using the ctypes library.

GlassBox is a compact Javascript User Interface (UI) library, which uses Prototype and Script.aculo.us for some effects. With GlassBox you can build transparent border, colorful layouts and "Flash-like" effects. The GlassBox library ..

This script allows you to take k random samples (with replacement) from a population, where k may be greater than len(population).

This script implements the instance method for performing currying. Instance method provides a way to perform currying such that the curried function runs much faster than one produced by closure.

This script is a reusable system for adding a graphical keyboard interface to text fields, password fields and textareas so they can be filled with mouse only.

Darwin2K is a toolkit for simulation and evolutionary design for robotics.

This script assigns each parameter to an instance variable of the same name, automating a common pattern of object initialization, and making class definitions more compact.

Users can define action classes by using an Action interface, then XWork will setup and run the user's actions. Users can define action classes by using an Action interface, then XWork will setup and run the user's actions.

UJO is an abbreviation for Unified Java Object and it is similar in implementation to JavaBean, but different from it in architecture and methods. UJO is an abbreviation for Unified Java Object and it is similar in implementation to JavaBean, but different from it in architecture and methods.

Related Software

JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules. JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules.

The Innovator Modeling Platform As well as business process modeling, object-oriented and structured software analysis, Innovator also supports object-oriented design and data modeling. The Innovator Modeling Platform As well as business process modeling, object-oriented and structured software analysis, Innovator also supports object-oriented design and data modeling.

UML modeling tool with code engineering Metamill is a professional UML modeling tool. Supports UML 2.4 standard. All 14 UML diagrams supported. Round-trip engineering for Python, ADA, Java, C, C++, C# and VB.Net. RTF and HTML document generation. Fast and easy to use. www.metamill.com

The JDK is a development environment for building applications, applets, and components using the Java programming language. The JDK is a development environment for building applications, applets, and components using the Java programming language.

XYZ VRML software - The Virtual Reality Modeling Language. XYZ VRML software - The Virtual Reality Modeling Language.

The APMonitor Modeling Language is optimization software for differential and algebraic equations. The APMonitor Modeling Language is optimization software for differential and algebraic equations.

Java Runtime Environment (JRE) (64-Bit) provides the libraries, the Java Virtual Machine, and other components to run applets and applications written in the Java programming language. Java Runtime Environment (JRE) (64-Bit) provides the libraries, the Java Virtual Machine, and other components to run applets and applications written in the Java programming language.

The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming and optimization. The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming and optimization. It consists of a language compiler and a stable of integrated high-performance solvers.

Jump-start your Ada, ANSI C++, C++, CORBA, Java®, J2EE®, Visual C++® and Visual Basic® applications with code generated from visual models. Jump-start your Ada, ANSI C++, C++, CORBA, Java®, J2EE®, Visual C++® and Visual Basic® applications with code generated from visual models.

Ready to Program with Java is a software application which uses Java language. Ready to Program with Java is a software application which uses Java language. The application comes freely and safe. Within the program you can find HELP for all java class libraries for you to do the programming you need.