Konstruktion Guter Algorithmen: Sichere Und Korrekte Software [German]

By: Dittmer, Ingo

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.

• Format: Paperback
• Language: German
• ISBN: 3519029901
• ISBN13: 9783519029908
• Release Date: January 1996
• Publisher: Vieweg+teubner Verlag
• Length: 300 Pages
• Weight: 1.07 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"