Asiakirjan, joka määrittää täydellinen, täsmälliset ja todennettavissa olevat tavalla, vaatimukset, suunnittelu, käyttäytymistä tai muut ominaisuudet järjestelmä tai komponentti, ja usein menettelyjen määrittämiseksi, onko näitä säännöksiä noudatettu.