Die traditionelle Form der Spezifikation in Form einer informellen textuellen Beschreibung von Eigenschaften und Verhalten des betrachteten Systems neigt dazu, wenig präzise zu sein und dadurch Ungenauigkeiten und Mehrdeutigkeiten zu produzieren bzw. im Nachhinein nicht mehr eindeutig nachvollziehbar zu sein.