- von der Spezifikation zur Implementierung
- durch fortgesetztes Einfügen von Schnittstellen
für neue, kleinere Systemkomponenten
- bis schließlich die Komponenten so klein sind,
daß man sie trivial implementieren kann
Beispiel: Türme von Hanoi:
hanoi (int k, turm x, turm y, turm z) :
bewege Scheiben [1 .. k]
von x nach y mithilfe von z
Johannes Waldmann
2011-07-07