Design by Contract

From Wiktionary, the free dictionary
Jump to navigation Jump to search

German[edit]

Noun[edit]

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[edit]