Especialidades

Computación
Ing. de Computadores
Ing. del Software
Tecnologías de la Información

Tutor

PIQUERAS, M
MARTINEZ LOPEZ, ENRIQUE

Descripción y Objetivos

Implementación de una herramienta para permitir la validación y verificación de sistemas en tiempo real, basándose en la definición del sistema mediante técnicas de diseño y obteniendo automaticamente su representación en métodos formales que nos permitan validar y verificar este diseño del sistema.

Metodología y Competencias

- Implementación en Java.
- Autómatas temporizados.
- UML.

Medios a utilizar

- Entorno JBuilder.
- Herramienta UPPAAL.

Bibliografía

Asignación

El Trabajo Fin de Grado ha sido a asignado a Don/Doña Julio Dieguez Rodríguez