Diapositiva PPT
Las especificaciones en lenguaje natural son ambiguas e imprecisas.
Especificaciones formales: definen un TDA o una operación de manera precisa, utilizando un lenguaje matemático.
Ventajas de una especificación formal:
- Prototipado. Las especificaciones formales pueden llegar a ser ejecutables.
- Corrección del programa. Verificación automática y formal de que el programa funciona correctamente.
- Reusabilidad. Posibilidad de usar la especificación formal en distintos ámbitos.
1.3. Especificaciones formales.