Die Spezifikation der Anforderungen ist die Basis für die Entwicklung und Verifizierung eines Software-Systems. Anforderungen beschreiben detailliert, welche Funktionalität und welche nicht-funktionalen Eigenschaften des Systems in einem bestimmten Modul implementiert werden.