Et dokument som angir, i en fullstendig, nøyaktig, kontrollerbar måte, kravene, design, atferd, eller andre karakteristikker av et system eller komponent, og ofte, prosedyrene for å avgjøre om disse bestemmelsene er oppfylt.