Supporting design by contract in Java

Journal of Object Technology

Volumn 1, Issue 3, 2002, Pages 57-76

  Lackner, Martin ^a   Krall, Andreas ^b   Puntigam, Franz ^b  

^a Decision Management Systems   (Austria)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; CODES (SYMBOLS); CONTRACTS; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; PROGRAM DEBUGGING;

CLASS INVARIANTS; DESIGN BY CONTRACTS (DBC); DOCUMENTATION; SOFTWARE COMPONENTS;

OBJECT ORIENTED PROGRAMMING;

EID: 3042646759     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2002.1.3.a4     Document Type: Conference Paper

References (16)

1. [Ber99] Detlef Bertetzko. Parallelität und Vererbung beim "Programmieren mit Vertrag" - Weiterentwicklung von JaWa. Master's thesis, Universität Oldenburg, 1999.
2. [DH98] Andrew Duncan and Urs Hölzle. Adding contracts to Java with Handshake. Technical Report TRCS98-32, University of California, Santa Barbara, December 9, 1998.
3. [FF01] Robert Bruce Findler and Matthias Felleisen. Contract soundness for object-oriented languages. In OOPSLA '01 Conference Proceedings, Object-Oriented Programming, Systems, Lanugages, and Applications, October 14-18, 2001, Tampa Bay, Florida, USA, pages 1-15, October 2001.
4. [GJSB98] James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison-Wesley, 1998.
5. [Gos94] James Gosling, editor. Oak Language Specification, 1994.
6. [GW98] Gilad Bracha, Martin Odersky, David Stoutamire and Philip Wadler. GJ specification. draft paper, May 1998.
7. [Ham97] Graham Hamilton. JavaBeans. Technical report, Sun Microsystems, July 1997.
8. [KHB98] Murat Karaorman, Urs Hölzle, and John Bruno. jContractor: A Reflective Java Library to Support Design By Contract. Technical report, Department of Computer Science, University of California, December 1998.
9. [Kra98] Reto Kramer. iContract - the Java Designs by Contract tool. In Proc. Technology of Object-Oriented Languages and Systems, TOOLS 26, Santa Barbara/CA, USA. IEEE Press, Los Alamitos, 1998.
10. [Lac01] Martin Lackner. Extending Java. Master's thesis, TU Wien, May 2001.
11. [Mey91] Bertrand Meyer. Eiffel: The Language. Prentice-Hall, 1991.
12. [Mey92] Bertrand Meyer. Applying "Design by Contract". Computer, 25(10):40-51, October 1992.
13. [Mey98] Bertrand Meyer. Object Oriented Software Construction. Prentice-Hall, 1998.
14. [Pla00] Michael Plath. Trace-Zusicherungen in Jass - Erweiterung des Konzepts "Programmieren mit Vertrag". Master's thesis, Universität Oldenburg, 2000.
15. [Ran00] K. Rangarajan. Design by Contract for Java using JMSAssert, 2000.
16. [WK99] Jos Warmer and Anneke Kleppe. OCL: The constraint language of the UML. Journal of Object-Oriented Programming, 12(1):10-13,28, March 1999.