In den vergangenen Jahren wurde die Programmierung van Rechentmlagen als
diejenige Disziplin erkannt, deren Beherrschung grundlegend und
entscheidend rür den Erfolg vieler Entwicklungsprojekte ist und die
wissenschaftlieher Behandlung und Darlegung zugänglieh isl Vom Handwerk
stieg sie zur akademischen Disziplin auf. Die ersten hervorragenden
Beiträge zu dieser Entwicklung wurden von E. W. Dijkstra und C. A. R.
Hoare geliefert Dijkstra's Notes on Structured Progranuning [6]
rührten zu einer neuen Betrachtung der Programmierung als
wissenschaftliehes Thema und als intellektuelle Herausforderung. Sie
bahnten den Weg zu einer "Revolution" in der Programmierung [35].
Hoare's An Axiomatic Basis/or Computer Programming [10] zeigte
deutlich, dass Progamme einer exakten Analyse nach mathematischen
Grundsätzen zugänglich sind. Beide Artikel argumentieren überzeugend,
dass viele Programmierfehler vermieden werden können, wenn man den
Programmierem die Methoden und Techniken, die sie bisher intuitiv und
oft unbewusst verwendeten, zur Kenntnis bringl Diese Artikel
konzentrierten sieh auf die Aspekte des Aufbauens und Analysierens von
Programmen oder, genauer ausgedrückt, auf die Struktur der durch die
Progammtexte dargestellten Algorithmen. & ist jedoch völlig klar, dass
ein systematisches und wissenschaftliehes Angehen der Konstruktion von
Programmen seine grösste Wirkung im Fall grosser komplexer Programme
hat, die komplizierte Datenmengen bearbeiten. Folglich muss eine
Methodik des Programmierens aueh alle Aspekte der Datenstrukturierung
behandeln. Prograrnme sind letztlieh konkrete Formulierungen abstrakter
Algorithmen, die sieh auf bestimmte Darstellungen und Datenstrukturen
stützen. Einen wesentliehen Beitrag, Ordnung in die verwirrende Vielfalt
der Terminologie und Konzepte von Datenstrukturen zu bringen, leistete
Hoare durch seine Noles on Datil Structuring [13].
