Demonstration of JML Tools
|
Home About Browse Search Register Subscriptions Deposit Papers Help |
Leavens, Gary T., Cheon, Yoonsik and Cok, David R. (2005) Demonstration of JML Tools. Technical Report 05-13, Computer Science, Iowa State University.
| Full text available as: | Adobe PDF Postscript |
Abstract
The Java Modeling language (JML) is a behavioral interface specification language tailored to Java. This demonstration presents some of the basic tools for generating and browsing documentation, runtime assertion checking, and unit testing.
| Keywords: | specification languages, runtime assertion checking, documentation, tools, formal methods, program verification, programming by contract, Java language, JML language |
| Subjects: | Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1) Software: SOFTWARE ENGINEERING (K.6.3): Design Tools and Techniques Software: SOFTWARE ENGINEERING (K.6.3): Coding Tools and Techniques Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1) Software: SOFTWARE ENGINEERING (K.6.3): Programming Environments Software: SOFTWARE ENGINEERING (K.6.3): Distribution, Maintenance, and Enhancement Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1) |
| ID code: | 00000371 |
| Deposited by: | Gary T. Leavens on 05 May 2005 |
| Alternative Locations: | ftp://ftp.cs.iastate.edu/pub/techreports/TR05-13/TR.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR05-13/TR.ps.gz |
Contact site administrator at: ssg@cs.iastate.edu