Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der
System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und
Alexander Malkis die wesentlichen Grundlagen und Methoden der
Programmentwicklung vor. Die Autoren vermitteln Studierenden der
Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie
grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher
Basis verstehen und bewältigen. Sie fassen alle behandelten
wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und
führen diese anhand von praktischen Beispielen näher aus.
Die Kernthemen des Werks im ÜberblickDas Buch "Logische und Methodische
Grundlagen der Programm- und Systementwicklung" widmet sich folgenden
Themen: ? Algebraische Spezifikationen von Daten- und Rechenstrukturen ?
Spezifikation und Implementierung ? Nachweis der Korrektheit für
funktionale, sequenzielle und objektorientierte Programmierung?
Korrektheits- und Terminierungsbeweise? Design-by-Contract ?
Schrittweise Verfeinerung