Ett dokument (eller andra medier) som anger i ett fullständiga, exakta och kontrollerbara sätt, kraven, design, beteende eller andra egenskaper hos ett system eller komponent, och ofta, förfaranden för att fastställa huruvida dessa bestämmelser har uppfyllts.