Un document que s'especifica, en forma completa, precisa i contrastable, els requisits, disseny, comportament o altres característiques d'un sistema o component i, sovint, els procediments per determinar si aquestes disposicions han estat satisfetes.