Guia docente 2020_21
E. S. de Enxeñaría Informática
Grado en Ingeniería Informática
 Asignaturas
  Métodos avanzados de ingeniería de software
   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.
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000