Probleme werden in eindeutige Schritte, Bedingungen, Wiederholungen und Teilprobleme zerlegt. Flussdiagramme und Pseudocode dienen als erste ausführbare Denkmodelle.