Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und
Systementwicklung an Geht man beim Entwickeln von Programmen von einer informellen
Problemstellung aus erfordert das: a) die Spezifikation des Programms unter Festlegung der
Daten- und Rechenstrukturen. b) die Implementierung. c) die Verifikation der Korrektheit.Um
diese Aufgaben zu bewältigen hat die Informatik eine Reihe grundlegender Ansätze und Methoden
entwickelt welche in Manfred Broy und Alexander Malkis Buch Logische und Methodische
Grundlagen der Programm- und Systementwicklung übersichtlich zusammengefasst und an praktischen
Beispielen erläutert werden. Um was geht es im Detail? In ihrem Buch über System- und
Programmentwicklung behandeln die Autoren im Kern folgende Themen: · Algebraische
Spezifikationen von Daten- und Rechenstrukturen sowie die Fähigkeit daraus Eigenschaften
abzuleiten · Die Spezifikation und Implementierung · Den Nachweis der Korrektheit für
funktionale prozedurale und objektorientierte Programme Dies schließt unter anderem auch
Themen wie Korrektheits- und Terminierungsbeweise Design-by-Contract und schrittweise
Verfeinerung ein. Mit ihrem Buch Logische und Methodische Grundlagen der Programm- und
Systementwicklung gelingt es Broy und Malkis die wichtigsten Grundlagen für eine
wissenschaftlich abgesicherte Entwicklung von Programmen zu vermitteln. Das Werk richtet sich
deshalb an Studierende aus der Informatik und an Praktiker des Software-Engineering mit
Interesse an Grundlagen und Methodik.Inhalte des Buchs über Programmentwicklung in der
Übersicht· Einführung indie Grundlagen der Softwareentwicklung · Rechen- und Datenstrukturen ·
Algebraische Datenmodellierung · Funktionale Programmierung · Anweisungsorientierte
sequenzielle Programmierung · Referenzen Zeiger und organisierter Speicher · Verfeinerung ·
Grundlagen der Objektorientierung· Ausblick: parallel ablaufende verteilte kooperierende
Systeme
