An overview of JML tools and applications

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 spe...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer Vol. 7; no. 3; pp. 212 - 232
Main Authors: Burdy, Lilian, Cheon, Yoonsik, Cok, David R., Ernst, Michael D., Kiniry, Joseph R., Leavens, Gary T., Leino, K. Rustan M., Poll, Erik
Format: Journal Article Conference Proceeding
Language:English
Published: Berlin Springer 01.06.2005
Springer Nature B.V
Subjects:
Applied sciences
Computer science
Computer science; control theory; systems
Exact sciences and technology
Java
Software
Software engineering
Specification language
Java
JAVA language
Modelling language
Formal specification
Debugging
Assertion checking
Program verification
Design by Contract
ISSN:1433-2779, 1433-2787
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 overview of the main ideas behind JML, details about JML's wide range of tools, and a glimpse into existing applications of JML. [PUBLICATION ABSTRACT]
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-004-0167-4