Publication Date

4-2005

Technical Report Number

TR05-13

Subjects

Software, Theory of Computation

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.

Share

COinS