0 especificación formalDescripción precisa, escrita y aprobada de acuerdo a unas normas establecidas, que puede incluir el uso de un lenguaje de especificación de requisitos determinado, a veces con el propósito de facilitar la verificación formal a través de una prueba de corrección.1997-01-13