Sie sind hier: Startseite | Wissen
Begriff Design by Contract
Abkürzung DBC
Eintrag zuletzt aktualisiert am 02.08.2005

 Zur Stichwortliste unseres Lexikons

Was ist Design by Contract?

Vor- und Nachbedingungen (Pre-/Post-Conditions)
Stellen sicher, dass Methode nicht mit ungültigen Werten aufgerufen wird  Fehler vor Ausführung der Methode, wenn ungültige Werte übergeben werden
Stellt sich, dass Methode nur mit gültigen Werten verlassen wird
Erfinder: Bertrand Meyer, Eiffel, 80er Jahre

Eiffel:
http://archive.eiffel.com/doc/manuals/technology/contract/

Java:
http://www.javaworld.com/javaworld/jw-02-2001/jw-0216-cooltools.html

C#:
http://www.codeproject.com/csharp/designbycontract.asp
http://www.resolvecorp.com/Products.aspx
http://www.gotdotnet.com/workspaces/workspace.aspx?id=24fe7e5d-e342-4ad9-a749-8048020f2828
http://nemerle.org/MacroUse

Beratung & Support:

Schulungen zu diesem Thema:

 Anfrage für eine individuelle Schulung zum Thema Design By Contract  Gesamter Schulungsthemenkatalog