Coding: Formulierung einer These (Coding), Test der These formal (Compiling), Test der These inhaltlich (Execution: Ausfuehrung in einer Maschine), Abänderung der These (Jump to Coding) oder Abbruch. These ist nun selbständiges Program/Praxis.