1. ¿Qué son los métodos formales?
1.1. Se refiere entonces al uso de técnicas de la lógica y de la matemática discreta para
1.1.1. Especificar
1.1.2. Diseñar.
1.1.3. Verificar.
1.1.4. Desarrollar.
1.1.5. Y validar programas.
2. Los métodos formales en la Ingeniería de Software
2.1. En Ingeniería de Software, un método formal es un proceso que se aplica para desarrollar programas.
2.1.1. Se utilizan para:
2.1.1.1. ▪ Las políticas de los requisitos.
2.1.1.2. ▪ La especificación
2.1.1.3. Las pruebas de correspondencia entre la especificación y los requisitos.
2.1.1.4. Las pruebas de correspondencia entre el código fuente y la especificación.
2.1.1.5. Pruebas de correspondencia entre el código máquina y el código fuente.
3. Ventajas de los métodos formales
3.1. Especificación.
3.1.1. Los métodos formales se desarrollaron principalmente para permitir un mejor razonamiento acerca de los sistemas y el software.
3.2. Verificación
3.2.1. Ee requiere una precisa y completa descripción de sus funciones
3.3. Validación
3.3.1. Es un conjunto de actividades diferentes que aseguran que el software construido corresponde con los requisitos del cliente