Schrittweise Verfeinerung (Stepwise Refinement) Ausgehend von einer abstrakten Problemdefinition (abstrakte Maschine) werden mit Hilfe des Top-down-Ansatzes Teilaufgaben definiert, die die Lösung des Ganzen ermöglichen. Im nächsten Entwurfsschritt werden sie weiter zerlegt und damit an den durch die Zielsprache vorgegebenen Anweisungsvorrat ange...