Un documento che specifica, in maniera completa, precisa, verificabile, i requisiti, progettazione, comportamento o altre caratteristiche di un sistema o componente e, spesso, le procedure per determinare se tali disposizioni siano stati soddisfatti.