Un documento (o altri supporti) che specifica, in maniera completa, precisa, verificabile, i requisiti, design, comportamento o altre caratteristiche di un sistema o componente e spesso, le procedure per la determinazione o meno queste disposizioni siano stati soddisfatti.