Zusammenfassung
„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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur zu Kapitel 3
Clocksin W.F. und C.S. Mellish: Programming in Prolog; Springer Verlag; Berlin, Heidelberg, New York; 1981
Ehling, H.-J.: Evolutionärer System-Entwurf; in: Formale Modelle für Informationssysteme; Informatik-Fachberichte Nr. 21; Springer Verlag; Berlin, Heidelberg, New York; 1979
Horowitz, E. und S. Sahni: Fundamentals of Computer Algorithms; Pitman Publishing Ltd.; London; 1979
Martin, J. and C. McClure: Diagramming Techniques for Analysts and Programmers, Prentice-Hall; Englewood Cliffs; 1985
Nassi, I. und B. Shneiderman: Flowchart techniques for structured programming; ACM SIGPLAN Notices; August 1973
Orr, K. T.: Structured Systems Development; Yourdon Press; New York; 1977
Ottmann, T. und P. Widmayer: Algorithmen und Datenstrukturen; Bibliographisches Institut; Mannheim; 1990
Stummel, F. und K. Hainer: Praktische Mathematik; Teubner Verlag; Stuttgart; 1971
Warnier, J. D.: Logical Construction of Programs; Van Nostrand Reinhold; 1974
Wirth, N.: Programm development by stepwise refinement; Communications of the ACM, Vol. 14, No. 4, pp. 221–227; April 1971
Wood, D.: Paradigms and Programming with Pascal; Computer Science Press; Rockville; 1984
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Stork, HG. (1993). Schrittweise Verfeinerung. In: Methoden der imperativen Programmierung. Leitfäden der angewandten Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94660-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-94660-7_3
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02416-3
Online ISBN: 978-3-322-94660-7
eBook Packages: Springer Book Archive