Def. genaue, endl. Beschreibung eines allgemeinen Verfahrens, nutzt elementare, ausführbare Schritte statt 3 + 4 –> a + b Effektivität jeder einzelne Schritt ausführbar Effizienz Leistungsfähigkeit, geringer Aufwand Korrektheit partiell: jedes Ergebnis entspricht der Ausgabespezifikation sofern die Eingaben der Eingabespez. entsprechen, nicht zwingend anhaltend total: partiell korrekt, terminiert nach endl. vielen Schritten, nach jeder Eingabe, […]