Zusammenfassung
In diesem Kapitel beschreiben wir einen programmiersprachenorientierten Ansatz zur formalen Programmentwicklung, der sich auf eine Methodik stützt, die zuerst von Dijkstra [Dijkstra 1976] eingeführt und dann von Gries [Gries 1981] präzisiert wurde. Damit sollte das Programmieren von einer Kunst, wie es noch von Knuth [Knuth 1973] bezeichnet wurde, zu einer Wissenschaft gemacht werden. Wie schon in Kapitel 2 gesagt, zeichnet sich dieser Ansatz dadurch aus, daß die verwendeten Regeln an der Syntax der Programmiersprache ausgerichtet sind.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1992 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Heisel, M. (1992). Ein programmiersprachenorientierter Ansatz. In: Formale Programmentwicklung mit dynamischer Logik. DUV: Datenverarbeitung. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14621-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-663-14621-6_4
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-2031-5
Online ISBN: 978-3-663-14621-6
eBook Packages: Springer Book Archive