Article

Electronic Notes in Theoretical Computer Science 66 No. 2 (2003)

June 2003

Authors:

GrammaTech, Inc.

University of Washington

Show all 9 authorsHide

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. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification.

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Article

Full-text available

An overview of JML tools and applications1

August 2003 · Electronic Notes in Theoretical Computer Science

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. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification.This paper gives an ... [Show full abstract] overview of the main ideas behind JML, the different groups collaborating to provide tools for JML, and the existing applications of JML. Thus far, most applications have focused on code for programming smartcards written in the Java Card dialect of Java.

Article

L. Burdy, Y. Cheon, D. Cok, M. Ernst, J.R. Kiniry, G.T. Leavens,

July 2003

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. The aim of JML is to provide a speci cation language that is easy to use for Java programmers and that is supported by a wide range of tools for speci cation type-checking, runtime debugging, static analysis, and veri cation.

Article

Full-text available

An Overview of JML Tools and Applications

June 2005 · International Journal on Software Tools for Technology Transfer

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. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification typechecking, runtime debugging, static analysis, and verification.This paper gives an ... [Show full abstract] overview of the main ideas behind JML, details about JML’s wide range of tools, and a glimpse into existing applications of JML.