Design by Contract

Betrand Meyer: Object-Oriented Software Construction, Prentice Hall, 1997. http://archive.eiffel.com/doc/oosc/

Aspekte eines Vertrages:

• Vorbedingungen
• Nachbedingungen
• Klassen-Invarianten