Software Download Yoonsik Cheon | HOME	JET | JML4c | UTJML | BibPHP | JML

UTJML Overview | Download | Documentation

UTJML is an extension to JML; JML is a formal interface specification language for Java to document the behavior of Java classes and interfaces. The primary feature of UTJML at this point is the introduction of a new specification clause, called a call sequence clause. The call sequence clause specifies ordering dependencies among method calls. It specifies the allowed sequences of method calls and thus constrains the order in which methods of a class or interface should be called by clients. In UTJML, therefore, one can separate the protocol assertions from the functional assertions and express them in a concise and intuitive notation. [more]

An extended JML compiler that supports the call sequence clause is called utjmlc. The utjmlc program was written by Ashaveena Perumendla and Yoonsik Cheon and is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.

Last modified: $Id: index.php,v 1.1 2007/06/15 21:17:56 cheon Exp $