Logische und methodische Grundlagen der Programm- und Systementwicklung

Více o knize

Eignen Sie sich mit diesem Buch die Grundlagen der Programm- und Systementwicklung an. Bei der Entwicklung von Programmen aus einer informellen Problemstellung sind mehrere Schritte erforderlich: a) die Spezifikation des Programms mit Daten- und Rechenstrukturen, b) die Implementierung und c) die Verifikation der Korrektheit. Die Autoren Broy und Malkis fassen grundlegende Ansätze und Methoden der Informatik zusammen und erläutern diese anhand praktischer Beispiele. Im Detail behandeln sie folgende Themen: algebraische Spezifikationen von Daten- und Rechenstrukturen sowie die Ableitung von Eigenschaften, die Spezifikation und Implementierung sowie den Nachweis der Korrektheit für funktionale, prozedurale und objektorientierte Programme. Dazu gehören Korrektheits- und Terminierungsbeweise, Design-by-Contract und schrittweise Verfeinerung. Das Buch vermittelt die wesentlichen Grundlagen für eine wissenschaftlich fundierte Programm-Entwicklung und richtet sich an Studierende der Informatik sowie an Praktiker des Software-Engineerings, die an Grundlagen und Methodik interessiert sind. Die Inhalte umfassen unter anderem die Einführung in die Softwareentwicklung, Rechen- und Datenstrukturen, algebraische Datenmodellierung, funktionale Programmierung, anweisungsorientierte Programmierung, Referenzen, Zeiger, Verfeinerung, Grundlagen der Objektorientierung und einen Ausblick auf parallele, verteilte und kooperierende Systeme.