This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.
In den vergangenen Jahren wurde die Programmierung van Rechentmlagen als diejenige Disziplin erkannt, deren Beherrschung grundlegend und entscheidend rur den Erfolg vieler Entwicklungsprojekte ist und die wissenschaftlieher Behandlung und Darlegung zuganglieh isl Vom Handwerk stieg sie zur akademischen Disziplin auf. Die ersten hervorragenden Beitrage zu dieser Entwicklung wurden von E. W. Dijkstra und C. A. R. Hoare geliefert Dijkstra’s Notes on Structured Progranuning [6] ruhrten 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 Grundsatzen zuganglich sind. Beide Artikel argumentieren uberzeugend, dass viele Programmierfehler vermieden werden koennen, 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 ausgedruckt, auf die Struktur der durch die Progammtexte dargestellten Algorithmen. & ist jedoch voellig klar, dass ein systematisches und wissenschaftliehes Angehen der Konstruktion von Programmen seine groesste 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 stutzen. 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].
