Logische und Methodische Grundlagen der Programm- und Systementwicklung

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 Malk