Een document dat u in een volledige, nauwkeurige en verifieerbare wijze, de eisen, ontwerp, gedrag of andere kenmerken van een systeem of component en, vaak, de procedures voor de vaststelling of deze bepalingen zijn vervuld.