Programming by contract

man testet, ob (Teil-)Produkt seine Spezifikation erfüllt: diese ist ein Kontrakt (Vertrag):

eingebaut z. B. in Sprache Eiffel von Bertrand Meyer, http://www.eiffel.com/

Beispiel: Funktion merge (aus mergesort):

Erfüllung des Kontrakts kann man



Johannes Waldmann 2005-06-21