Design by Contract

See also: design by contract

German

Noun

Design by Contract n (strong, genitive Design by Contract, no plural)

1. (programming) design by contract
   • 2008, Holger Grandy, Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen, page 35:

     Damit folgen diese Ansätze dem Prinzip des Design by Contract.

     (please add an English translation of this quotation)

   • 2009, edited by Federico Biancuzzi and Shance Warden and translated into German by Thomas Demming, Visionäre der Programmierung: Die Sprachen und ihre Schöpfer, page 428:

     Beim Design by Contract gibt es eine sehr klare Regel: Die Vorbedingung ist eine Einschränkung für den Client, den Aufrufenden.

     (please add an English translation of this quotation)

Further reading

• Design by Contract on the German Wikipedia.Wikipedia ^de