(1) Una especificación escrita y aprobados con arreglo establecido standards.~(2) una especificación escrita en una notación formal, a menudo para su uso en la prueba de la corrección.