Een document (of andere media) die aangeeft, in een volledige, nauwkeurige, controleerbare wijze, de eisen, ontwerp, gedrag of andere kenmerken van een systeem of component, en vaak, de procedures voor de bepaling van al deze bepalingen is voldaan of niet.