Publications of Franz Puntigam (LaKrPu02)

Martin Lackner, Andreas Krall, and Franz Puntigam.
Supporting Design by Contract in Java.
Journal of Object Technology 1(3):57--76, 2002.
Also in TOOLS USA 2002, Christine Mingins (Editor), Santa Barbara, California, July 2002.

Abstract:

Design by Contract is a valuable design method for trusted software components. Eiffel shows how to provide appropriate language support for it. However, no such concepts currently exist in Java. Full integration of them into Java may help to improve and guarantee the quality of Java classes. We briefly compare several approaches to extend Java in this way and present our model and a compiler that translates extended Java code into JVM byte code. Our Java extension integrates preconditions, postconditions, and invariants as in Eiffel while respecting the characteristics of Java. The evaluation shows that Design by Contract can be added effciently to Java while keeping compatibility.

Paper

@Article{LaKrPu02,
	author      = {Martin Lackner and Andreas Krall and Franz Puntigam},
	title       = {Supporting Design by Contract in Java},
	journal     = {Journal of Object Technology},
	volume      = {1},
	number      = {3},
	pages       = {57--76},
	year        = {2002},
	url         = {http://www.jot.fm/issues/issue_2002_08/article4}
}