Advertisement

Ein programmiersprachenorientierter Ansatz

  • Maritta Heisel
Chapter
Part of the DUV: Datenverarbeitung book series (DUVD)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1992

Authors and Affiliations

  • Maritta Heisel

There are no affiliations available

Personalised recommendations