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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal on software tools for technology transfer Ročník 7; číslo 3; s. 212 - 232
Hlavní autoři: Burdy, Lilian, Cheon, Yoonsik, Cok, David R., Ernst, Michael D., Kiniry, Joseph R., Leavens, Gary T., Leino, K. Rustan M., Poll, Erik
Médium: Journal Article Konferenční příspěvek
Jazyk:angličtina
Vydáno: Berlin Springer 01.06.2005
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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]
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-004-0167-4