Et dokument, der angiver, i en komplet, præcis og verificerbar måde, kravene, design, adfærd eller andre egenskaber ved et system eller komponent, og ofte procedurer til bestemmelse af, om disse bestemmelser er opfyldt.