MODELADO FORMAL DEL SOFTWARE |
Conceptos básicos.
Fundamentos lógicos.
Lenguajes de especificación formal: Z, VDM...
Estudio detallado del lenguaje de especificación Z.
Definiciones formales en Z.
Tipos Base.
Esquemas.
Conjuntos.
Relaciones.
Funciones.
Secuencias.
Bolsas.
Definición de operaciones.
Comprobaciones formales: Teorema de Inicialización y Precondiciones. |
PROCESO DE DESARROLLO CON TECNICAS
FORMALES |
Cambios en el ciclo de vida debidos a la utilización de métodos formales
Aplicaciones de las técnicas formales.
La ingeniería del software de Sala Limpia. |