Problem
Spezifikation des
Problems
Entwicklung eines
Algorithmus
Kodierung mittels
Programmiersprache
... das
Programm
dem
Algorithmus
entspricht?
... der
Algorithmus
das
Problem
löst?
Editieren
Compilieren
Ausführen
am Rechner:
richtig kodiert?
(Syntax)
Testen, d.h. prüfen ob ...
falls o.k.
Programm ist fertig und „wahrscheinlich“ korrekt
Testen & beweisbare Korrektheit