Ing de sw

TÉCNICAS FORMALES EN INGENIERIA DEL SOFTWARE

GRUPO DOCENTE: Sistemas Infomáticos e Ingeniería del Software.
PROFESOR: J. Ambrosio Toval Alvarez
TITULACION: Ingeniero en Informática.
CURSO: Segundo (Segundo Ciclo)= 5º
CUATRIMESTRE: Primero.
NÚMERO DE CRÉDITOS: 4.5 (3 teóricos + 1.5 prácticos)
CARÁCTER: Optativa
CURSO ACADÉMICO: 02/03

A.- Objetivos

Estudiar métodosrigurosos de análisis, definición y prueba del software, ofreciendo una visión científica de la disciplina de Ingeniería del Software y haciendo mayor hincapié en sus fundamentos formales. En particular se pretende que los alumnos analicen, y adquieran destreza, en el uso de métodos y técnicas formales como sólida base matemática sobre la que construir procedimientos automatizables en el proceso dedesarrollo de software.

Además de intensificar los objetivos propuestos en la asignatura de “Ingeniería del Software II”, se pretende aquí la explotación del uso de formalismos en Ingeniería del Software. Se presentarán técnicas y herramientas de demostración de especificaciones formales, en particular se incidirá en la teoría de especificaciones algebraicas, como método en el que losalumnos han adquirido mayor destreza.

Por otro lado, se estudiarán en esta asignatura otras aproximaciones formales además de la algebraica, como son las técnicas basadas en modelos o las técnicas basadas en estados para especificación de sistemas concurrentes. Se incidirá, por su vigencia, en otras técnicas de especificación formal orientadas a objetos que completarán la visión del alumnosobre este tema.

Las técnicas formales estudiadas se aplicarán en el ámbito de la notación estándar UML

La realización de trabajos prácticos ayudará a los alumnos a alcanzar una cierta capacitación para valorar, planificar y controlar las etapas más críticas en el proceso de producción de software, como miembros de un grupo de desarrollo.

B.- Programa de Teoría

|Tema|Título de tema |
|1 |Técnicas formales en Ingeniería del Software e Ingeniería de Requisitos |
|2 |Especificaciones Algebraicas |
|3 |Especificaciones Algebraicas Heterogéneas|
|4 |UML y los requisitos, como aplicación de las técnicas formales en IS |
|5 |Formalización del metamodelo de UML |
|6 |Demostración de propiedades con los modelos formalizados de UML |
|7 |Transformaciónformal de diagramas de UML |
|8 |Formalización de la evolución del metamodelo de UML |
|9 |Herramientas CASE avanzadas para UML: RIVIERA |

Tema 1.- Técnicas formales (T.F.) en Ingeniería del Software e Ingeniería de Requisitos1. Introducción y motivación
1. Técnicas/Métodos formales frente a informales: factores de calidad del software
1. Algunos mitos sobre los métodos formales
1. Tipos de técnicas formales: breve introducción a Z y a especificaciones algebraicas
1. Algunas aplicaciones en Ingeniería del Software/ Ingeniería de Requisitos .
1. Estándares internacionalesrecomendando T.F .

Tema 2.- Especificaciones algebraicas

1. Introducción
2. Expresiones y reducciones
3. Sintaxis y Semántica
4. Noción de -álgebra y de -homomorfismo
5. Términos básicos y Términos con variables
6. Noción de - Reglas de deducción de la lógica ecuacional
7. Técnicas de Reescritura de ecuaciones
8. Corrección y Completitud

Tema 3.-...