Ett dokument som anger i ett komplett, exakt och kontrollerbara sätt, kraven, design, beteende eller andra egenskaper hos ett system eller komponent, och ofta, förfaranden för att fastställa om dessa bestämmelser har uppfyllts.