Zusammenfassung
Manchmal scheint es, daß die Fehlerbeseitigung in einem Progamm nie aufhört. Dies trifft insbesondere für Programme zu, die vor dem Schreiben nicht analysiert oder beim Schreiben schlecht strukturiert wurden. Gerade wenn ein Programm einwandfrei zu laufen scheint, ergibt ein neuer Eingabesatz offensichtlich falsche Ergebnisse. Die Korrektheit von Programmen ist eine Angelegenheit, der in einer ständig vom Computer abhängiger werdenden Welt steigende Bedeutung zukommt. Bei einigen Anwendungsprogrammen reicht es nicht, „sicher“ zu sein, daß sie richtig laufen; man muß es wissen.
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
R. B. Anderson. Proving Programs Correct. Wiley, New York, 1979.
P. Berlioux und P. Bizard. Algorithms: The Construction, Proof, and Analysis of Programs (Annwyl Williams, tr.). Wiley, New York, 1986.
E. Börger. Berechenbarkeit, Komplexität, Logik. 3. Aufl. Vieweg, Wiesbaden, 1992.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dewdney, A.K. (1995). Korrektheit von Programmen. In: Der Turing Omnibus. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78872-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-78872-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57780-5
Online ISBN: 978-3-642-78872-7
eBook Packages: Springer Book Archive