Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Lackner, A. Krall, F. Puntigam:
"Supporting Design by Contract in Java";
Vortrag: TOOLS USA 2002,
Santa Barbara, California;
28.07.2002
- 31.07.2002; in: "Trusted Components, Formal Specifications, Eiffel & .NET",
(2002),
S. 1
- 20.
Kurzfassung englisch:
Design by Contract is a valuable design method for trusted software components. Eiffel shows how to provide appropriate language support for it. However, nosuch 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 proconditions. postconditions, and invariants as evaluation shows that Design by Contract cam be added efficiently to Java while keeping compatibility.
Elektronische Version der Publikation:
http://www.jot.fm/issues/issue_2002_08/article4
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.