Richard Mitchell, Jim McKim, Design by Contract, by Example, Addison Wesley, 2002

Design by Contract - eine einfache wie auch bestechende Technik, um robuste Programme zu schreiben. Gerade im viel gepriesenen Komponentenzeitalter ist diese Art der Programmierung eine Notwendigkeit. Dieses Buch vermittelt die nötigen Grundkenntnisse und Strategien, um Design by Contract erfolgreich anwenden zu können, wie der etwas holprige Titel bereits verrät , anhand von vielen Beispielen und zeigt: es ist wahrlich keine Hexerei!
Dieses Buch ist für alle Entwickler, für die das Schreiben robuster Anwendungen nicht nur ein Lippenbekenntnis ist, ein sicherer Wert!