Konstruktion guter Algorithmen Sichere und korrekte Software

Dieses Buch ist ein Lehrbuch für schnelle, effiziente und korrekte Pro- p;rammierung. Es werden Verfahren vorgestellt, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren, und eine Me- thode, mit der zweifelsfrei bewiesen werden kann, daß die so entwickel- ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up- Verifikation dargestellt. Es wird auf die Übertragung in gängige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati- sche Testmethoden werden ebenfalls kurz beschrieben. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program- mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Großer Wert wird darauf gelegt, daß das Buch gut lesbar und verständ- lich ist und alle Verfahren und Algorithmen ausführlich erläutert wer- den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrück hält. Es ist aber nicht nur für Studenten geeignet, sondern auch für den Prak- tiker. In den Abschnitten über Motivation und Sensibilisierung wird nachvollziehbar begründet, warum nicht nur Profis die beschriebene Me- thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro- grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen.