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