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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International journal on software tools for technology transfer Jg. 7; H. 3; S. 212 - 232
Hauptverfasser: 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 Tagungsbericht
Sprache:Englisch
Veröffentlicht: Berlin Springer 01.06.2005
Springer Nature B.V
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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]
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-004-0167-4