Guia docente 2023_24 Escuela Superior de Ingeniería Informática

Contenidos

Tema	Subtema
INTRODUCCIÓN	Deficiencias de los enfoques menos formales. Conceptos de métodos formales. Decálogo de los métodos formales.
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.
VERIFICACIÓN FORMAL	Código y Especificación: la comprobación formal de la implementación Aplicación a todo el ciclo de vida.
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.