Anzeige
Erschienen in:
1993 | OriginalPaper | Buchkapitel
Schrittweise Verfeinerung
verfasst von : Dr. rer. nat. Hans-Georg Stork
Erschienen in: Methoden der imperativen Programmierung
Verlag: Vieweg+Teubner Verlag
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
„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.