(1) Una specifica scritto e approvato in conformità con stabilito standards.~(2) una specifica scritta in una notazione formale, spesso per l'uso in prova di correttezza.