Manfred Broy Logische und Methodische Grundlagen der Programm- und Systementwicklung

Annotation

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 bewaltigen. Sie fassen alle behandelten wissenschaftlichen Ansatze und Methoden ubersichtlich zusammen und fuhren diese anhand von praktischen Beispielen naher aus.Die Kernthemen des Werks im UberblickDas 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 fur funktionale, sequenzielle und objektorientierte Programmierung? Korrektheits- und Terminierungsbeweise? Design-by-Contract ? Schrittweise Verfeinerung