jml tools

The Java Modeling Language (JML) Home Page
An overview of JML tools and applications. International Journal on Software
Tools for Technology Transfer , 7(3):212-232, June 2005. …
http://www.cs.iastate.edu/~leavens/JML/

The Java Modeling Language (JML) Home Page
An overview of JML tools and applications. International Journal on Software
Tools for Technology Transfer , volume 7, number 3, pages 212-232, June 2005. …
http://www.cs.iastate.edu/~leavens/JML.html

An overview of JML tools and applications
tools for JML, and the existing applications of JML. … The JML tools discussed.
so far assume the existence of a JML specification, and …
http://research.microsoft.com/~leino/papers/jml-sttt.pdf

jml tools

http://prdownloads.sourceforge.net/jmlspecs/JML.5.1.tar.gz?download

An overview of JML tools and applications
This paper gives an overview of the main ideas behind JML, details about JML%26%2339;s
wide range of tools, and a glimpse into existing applications of JML. …
http://pag.csail.mit.edu/pubs/jml-tools-sttt2005-abstract.html

An overview of JML tools and applications - Burdy, Cheon, Cok …
The Java Modeling Language JML can be used to specify the detailed design of Java
classes and interfaces by adding annotations to Java source files.
http://citeseer.ist.psu.edu/719239.html

An Overview of JML Tools and Applications - Burdy, Cheon, Cok …
The Java Modeling Language JML can be used to specify the detailed design of Java
classes and interfaces by adding annotations to Java source les.
http://citeseer.ist.psu.edu/746040.html

An Overview of JML Tools and Applications (ResearchIndex)
The Java Modeling Language JML can be used to specify the detailed design of Java
classes and interfaces by adding annotations to Java source files.
http://citeseer.ist.psu.edu/743636.html