MODELADO FORMAL DO SOFTWARE |
Conceptos básicos.
Fundamentos lóxicos.
Linguaxes de especificación formal: Z, VDM...
Estudo detallado da linguaxe de especificación Z.
Definicións formais en Z.
Tipos Base.
Esquemas.
Conxuntos.
Relacións.
Funcións.
Secuencias.
Bolsas.
Definición de operacións.
Comprobacións formais: Teorema de Inicialización e Precondicións. |
PROCESO DE DESENVOLVEMENTO CON TECNICAS
FORMAIS. |
Cambios no ciclo de vida debidos á utilización de métodos formais
Aplicacións das técnicas formais.
A enxeñaría do software de Sala Limpa.
|