Um documento que especifica, em uma forma completa, precisa, 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.