scientific article; zbMATH DE number 1042201
Das vorliegende Buch behandelt zentrale Kapitel der Informatik, nämlich schnelle, effiziente und korrekte Programmierung. Der erste Teil des Buches, ``Prolog, enthält neben einer Reihe von Vorbemerkungen (Kapitel 0) einen Überblick über die Grundlagen und Prinzipien korrekter Programmierung (Kapitel 1) und ein ausführliches einführendes Beispiel (Kapitel 2). Es wird eine Begründung für das Buch, seine Stoffauswahl und die Zielsetzung gegeben. Der zweite Teil des Buches, ``Problemorientierte Programmkonstruktion, empfiehlt eine Orientierung der Programmkonstruktion an folgendem ``7-Schichten-Modell: 1. Aufgabenstellung, 2. Spezifikation, 3. Methodenfindung, 4. Top-Down-Konstruktion, 5. Bottom-Up-Verifikation, 6. Kodierung, 7. Test. Zunächst wird in Kapitel 3 ausführlich auf die Methode der Top-Down-Konstruktion eingegangen und deren Anwendung an einer Reihe von Beispielen erläutert. Kapitel 4 beschreibt Rechenregeln, mit deren Hilfe man sich von der Korrektheit von Algorithmen überzeugen kann. Der dritte Teil des Buches, ``Maschinenabhängige Programmkodierung, geht auf die sprach- und maschinenabhängigen Teile des 7-Schichten-Modells der Programmerstellung ein. In Kapitel 5 werden eine Reihe von Programmiersprachen und Klassen vorgestellt, die dem Programmierer ein Repertoire an Implementierungsmöglichkeiten an die Hand geben. In Kapitel 6 wird auf verschiedene Testmethoden eingegangen und einige Ideen zur Konstruktion weniger fehleranfälliger Programme beschrieben. Der vierte Teil ``Exakte Basis des Buches besteht aus einem Kapitel zur formalen Basis des Programmierens. Im abschließenden fünften Teil, ``Methodenklassen werden ausführlich eine Reihe von Techniken zum Entwurf effizienter Algorithmen vorgestellt. Jedes Kapitel endet mit einem kurzen Abschnitt, in dem die behandelte Problematik in kernigen Sätzen zusammengefaßt wird, und einem Abschnitt mit Übungsaufgaben. Das Buch ist interessant und gut verständlich geschrieben und kann empfohlen werden.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4346196)
