Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/s10009-004-0167-4 | International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems |
Keywords | DocType | Volume |
main idea,detailed design,java class,design by contract,program verification,java modeling language,jml tool,assertion checking,runtime debugging,java source file,formal specification,specification language,java,wide range,java programmer,specification typechecking,static analysis,formal methods | Journal | 7 |
Issue | ISSN | Citations |
3 | 1433-2787 | 350 |
PageRank | References | Authors |
20.96 | 58 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lilian Burdy | 1 | 563 | 36.34 |
Yoonsik Cheon | 2 | 770 | 56.20 |
David R. Cok | 3 | 651 | 40.73 |
Michael D. Ernst | 4 | 6629 | 347.51 |
Joseph R. Kiniry | 5 | 688 | 40.03 |
Gary T. Leavens | 6 | 2593 | 211.29 |
Rustan, K. | 7 | 3995 | 301.64 |
Erik Poll | 8 | 1034 | 89.71 |