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 entw ...