Un documento (o en otros medios) 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 o no se cumplen estas disposiciones.