Zusammenfassung
Im vorigen Kapitel haben wir eine Möglichkeit kennengelernt, Programme ausgehend von einer Beschreibung ihrer beabsichtigten Wirkung zu entwickeln. In Betracht gezogen haben wir dabei allerdings nur die erste jener „Wirkungsarten“, von denen in der Einleitung des Abschnitts 4.1 die Rede war: die Veränderung interner Zustände. Dies ist eine Sichtweise, die dem Programmierer für viele interessante Probleme sicher zu eleganten Lösungen verhilft. Für eine große Klasse von Aufgabenstellungen jedoch ist sie völlig unzureichend und unpraktikabel. Es handelt sich hierbei um solche Aufgaben, die sich sehr viel leichter und „natürlicher“ durch die Angabe der Struktur eines gewünschten Outputs oder eines aufzunehmenden Inputs spezifizieren lassen, als mit Hilfe prädikativer Beschreibungen interner Speicherzustände.
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 5
Ehling, H.-J.: Evolutionärer System-Entwurf; in: Formale Modelle für Informationssysteme; Informatik-Fachberichte Nr. 21; Springer Verlag; Berlin, Heidelberg, New York; 1979
Engels, G. und W. Schäfer: Programmentwicklungsumgebungen, Konzepte und Realisierung; Teubner Verlag; Stuttgart; 1989
Jackson, M.: Principles of Program Design; Academic Press; London, New York; 1975
Ottmann, T. und P. Widmayer: Algorithmen und Datenstrukturen; Bibliographisches Institut; Mannheim; 1990
Sander, P., Stucky W. und R. Herschel: Automaten, Sprachen, Berechenbarkeit; Teubner Verlag; Stuttgart; 1992
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Stork, HG. (1993). Datenstrukturierter Programmentwurf. In: Methoden der imperativen Programmierung. Leitfäden der angewandten Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94660-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-94660-7_5
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