Un documento que especifica, en forma completa, precisa y verificable, los requisitos, diseño, comportamiento u otras características de un sistema o componente y, a menudo, los procedimientos para determinar si estas disposiciones han sido satisfechas.