Java Modeling Language script download - Java Modeling Language Java Modeling Language is a behavioral interface specification lang

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.

RECOMMENDED TOOLS

» Java compiler » modeling language » behavioral interface » Java » compiler » modeling

Java Modeling Language script 5.6 RC2     
Java Modeling Language Java Modeling Language is a behavioral interface specification lang
Price: GPL$, Rating: 10, Downloads: 0

SDCC script 2.8.0     
SDCC SDCC is a retargettable, optimizing ANSI - C compiler that targets the Intel 8051, Ma
Price: GPL$, Rating: 6, Downloads: 0

Quex script 0.25.7     
Quex Quex is a lexical analyzer generator that produces a directly coded lexical analyzer
Price: LGPL$, Rating: 7, Downloads: 0

GNU Compiler Collection script 4.2.0     
GNU Compiler Collection GNU Compiler Collection includes front ends for C, C , Objective-
Price: GPL$, Rating: 10, Downloads: 0

MLKit script 4.3.2     
MLKit MLKit is a compiler for the programming language Standard ML.
Price: GPL$, Rating: 6, Downloads: 0

DJGPP script 2.03     
DJGPP DJGPP is a complete 32-bit C/C development system for Intel 80386 (and higher) PCs
Price: GPL$, Rating: 10, Downloads: 0

bigFORTH script 2.1.7     
bigFORTH bigFORTH is a native code Forth.
Price: GPL$, Rating: 9, Downloads: 0

f2c compiler script      
f2c compiler f2c compiler is a program that translates Fortran 77 into C or C .
Price: GPL$, Rating: 8, Downloads: 0