iContract - the Java(tm) Design by Contract(tm) tool
Reto Kramer · 1998
Until today, the explicit speci cation of "software contracts " by means of class invariants and method pre- and post-conditions was only available to Ei el developers. iContract is the rst tool that provides the same thorough support for Java. iContract is a freely available source-code pre-processor that instruments sourcecode with checks for class invariants as well as pre- and post-conditions that may be associated with methods in classes and interfaces. Special comment tags (@pre,