Man kennt den klassischen Weg, Anforderungen zu spezifizieren: ein Spezifikationsdokument mit den Kundenanforderungen wird erstellt (oft „Lastenheft“ genannt), dann ein Dokument, das die Umsetzung der Kundenanforderungen beschreibt (oft „Pflichtenheft“ genannt). Ist damit sichergestellt, dass die Implementierung korrekt sein wird?