Ein Dokument, das gibt in eine vollständige, genaue und überprüfbare Weise, den Anforderungen, Design, Verhalten oder andere Merkmale eines Systems oder Komponente, und, oft, die Verfahren zur Feststellung, ob diese Bestimmungen erfüllt sind.