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