Et dokument (eller andre medier) som angir, i en komplett, nøyaktig, verifiseres måte, kravene, design, virkemåten eller andre karakteristikker av et system eller komponent, og ofte prosedyrer for å avgjøre om disse bestemmelsene er oppfylt.