IConTract - The Java™ design by ContrACT™ tool

Proceedings - 26th Technology of Object-Oriented Languages and Systems, TOOLS 1998

Volumn , Issue , 1998, Pages 295-307

  Kramer, Reto ^a  

^a Cambridge Technology Partners   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); JAVA PROGRAMMING LANGUAGE;

CLASS EXTENSION; CLASS INVARIANTS; CLASSES METHODS; CONDITION; DESIGN BY CONTRACTS; EXISTENTIAL QUANTIFIERS; EXTENSION MECHANISMS; SOFTWARE CONTRACTS; SOURCE CODES; UNIVERSAL QUANTIFIERS;

OBJECT ORIENTED PROGRAMMING;

EID: 84891374294     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Meyer Bertrand. Object Oriented Software Construction. Prentice Hall, 2 nd edition, 1997.
2. Rational Software Corp. Unified Modeling Language, Object Constraint Language Specification. available from http://www.rational.com/uml/, 1997.
3. Odersky M., Wadler P. The Pizza Compiler. available from http://www.math.luc.edu/pizza/, February 1997
4. Agesen O., Freund S., Mitchell J. Adding Type Parameterization to the Java Language. OOPSLA 1997.
5. Nierstrasz O., Tsichritzis D., Eds. Object Oriented Software Composition. Prentice Hall, 1995.
6. Manna Z., Pnueli Amir. The Temporal Logic of Reactive and Concurrent Systems, Specification Springer Verlag, 1992.
7. JavaSoft Inc. Javadoc Templates. JDK 1.2, Early Access. October 1997. available from http://www.sun.com/products/jdk/1.2/docs/