Um documento que especifica, de um modo completo, preciso, verificável, os requisitos, design, comportamento ou outras características de um sistema ou componente e, muitas vezes, os procedimentos para determinar se estas disposições foram satisfeitas.