Bibliography

AU

Argo/UML. http://argouml.tigris.org/.

BS

BoldSoft. ModelRun. http://www.boldsoft.com/products/modelrun/ index.html.

CI

Cybernetic Intelligence GmbH. OCL Compiler. http://www. cybernetic.org/prodocl.htm.

CMA

Glen McCluskey & Associates LLC. Java Test Coverage and Instrumentation Toolkits. http://www.glenmccl.com/instr/index.htm.

DB99

Detlef Bertetzko. Parallelität und Vererbung beim "Programmieren mit Vertrag" - Weiterentwicklung von JaWA (in german). Master Thesis. Universität Oldenburg, 1999.

DH98

Andrew Duncan, Urs Hölzle. Adding Contracts to Java with Handshake. Technical Report TRCS98-32, Computer Science Department, University of California, Santa Barbara, December 1998. http://www.cs.ucsb.edu/oocsb/papers/handshake98.html.

ET

Elixir Technology Pte Ltd. http://www.elixirtech.com/index.html.

FF00

Frank Finger. Design and Implementation of a Modular OCL Compiler. Diplomarbeit. TU-Dresden, 2000. http://dresden-ocl.sourceforge.net/.

FSF00

Free Software Foundation. What is Free Software? 1996-2000. http://www.gnu.org/philosophy/free-sw.html.

GJS96

James Gosling, Bill Joy, Guy Steele. The Java Language Specification. Edition 1.0. Addison-Wesley, August 1996. http://java.sun.com/docs/books/jls/html/index.html.

JASS

The Jass Page. http://semantik.informatik.uni-oldenburg.de/~jass/.

JW99

Daniel Jackson, Allison Waingold. Lightweight Extraction of Object Models from Bytecode. Proc. International Conference on Software Engineering. May 1999. http://sdg.lcs.mit.edu/womble/.

KHB98

Murat Karaorman, Urs Hölzle, John Bruno. jContractor: A Reflective Java Library to Support Design By Contract. Technical Report TRCS98-31, Computer Science Department, University of California, Santa Barbara, December 1998. http://www.cs.ucsb.edu/oocsb/papers/TRCS98-31.html.

KSR00

Holger Knublauch, Martin Sedlmayr, Thomas Rose. Design Patterns for the Implementation of Constraints on JavaBeans. http://www.faw.uni-ulm.de/kbeans/.

LY97

Tim Lindholm, Frank Yellin. The Java Virtual Machine Specification, Second Edition. Addison-Wesley, 1997. http://java.sun.com/docs/books/vmspec/.

MMS

Man Machine Systems. JMSAssert. http://www.mmsindia. com/JMSAssert.html.

OCL

Object Constraint Language Specification. Chapter 7 in [UML].

OI

Object Insight, Inc. JVISION. http://www.object-insight.com/html/ product_info.html.

PSM98

Jeffery E. Payne, Michael A. Schatz, Matthew N. Schmid. Finding bugs early. Dr. Dobb's Journal, January 1998. http://www.ddj.com/articles/1998/9801/9801d/9801d.htm.

RG00

Mark Richters, Martin Gogolla. Validating UML Models and OCL Constraints. In Andy Evans and Stuart Kent, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000). Springer, Berlin, LNCS, 2000. http://www.db.informatik.uni-bremen.de/projects/USE/.

RK98

Reto Kramer. iContract - The Java- Design by Contract- Tool. http://www.reliable-systems.com/tools/iContract/iContract.htm.

RSC

Rational Software Corporation. Rational Rose. http://www.rational. com/products/rose/index.jsp.

RW00

Ralf Wiebicke. XML Query Languages for Repositories Based on XML Documents. Großer Beleg. TU-Dresden, 2000. http://dresden-ocl.sourceforge.net/.

SM93

Steve Maguire. Writing Solid Code. Microsoft Press, 1993.

SM93g

Steve Maguire. Nie wieder Bugs! Die Kunst der fehlerfreien C-Programmierung. Microsoft Press Deutschland. German translation of [SM93].

TF

Tim Littlefair. CCCC - C and C++ Code Counter. http://cccc.sourceforge.net/.

TP98

Todd Plessel. Design By Contract: A Missing Link In The Quest For Quality Software. Lockheed Martin / US EPA, August 1998. http://www.elj.com/eiffel/dbc/.

TSC

TogetherSoft Corporation. Together. http://www.togethersoft.com/.

UML

OMG Unified Modeling Language Specification, Version 1.3, June 1999.

VC

Versant Corporation. J/VERSANT Interface Release 2.4.0. http://www.versant.com/us/products/vds/index.html.

WK99

Jos Warmer, Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.

WK99e

Errata for [WK99]: http://www.klasse.nl/ocl-boek/errata.htm.