Schrittweise Verfeinerung

„Schrittweise Verfeinerung“ als systematische Vorgehensweise bei der Konstruktion von Programmen wurde erstmals explizit (und unter dieser Bezeichnung) erläutert in [WI2]. Die Grundidee ist außerordentlich einfach und naheliegend. Beginnend mit einer verbal gegebenen Aufgabenstellung werden — zunächst ebenfalls verbal — sukzessive Aktionen — definiert, durch deren Ausführung die gestellte Aufgabe erledigt wird. „Sukzessive“ bedeutet, daß eine einmal beschriebene Aktion wiederum aufgebrochen werden kann in „noch elementarere“ Aktionen. Das Verfahren endet mit Aktionen, die unmittelbar durch Anweisungen in der Programmiersprache ausgelöst werden können, also durch die Auswertung von Ausdrücken, durch Zuweisungen und durch Prozeduraufrufe, deren Abfolge durch Iterationen und Selektionen gesteuert wird.