Design by Contract (DBC)

Eintrag zuletzt aktualisiert am: 02.08.2005

 Fachbücher zum Thema Design by Contract (DBC)

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