archives

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