PFCs sobre el desarrollo real de herramientas CASE de alto nivel para prototipado, analisis y transformaciones de modelos UML.
 Se ofertan diversos trabajos en el marco de un proyecto real de investigación aplicada, sobre una o varias de las siguientes lineas:
 
- Desarrollo de interfaz gráfica para la herramienta avanzada RIVIERA de soporte al modelado con UML 
- Desarrollo de simuladores para animación de modelos UML, en el marco de la herramienta CASE RIVIERA.
- Desarrollo preciso de diagramas UML con objetivos de demostración de propiedades sobre modelos UML de analisis y diseño
- Desarrollo preciso de diagramas UML con objetivos de transformación automática de modelos UML en analisis y diseño
- Traductores basados en XMI/XML de modelos UML en relación con herramientas CASE actuales (Rose, Statemate,...)
- Análisis y construcción de una herramienta de edición y análisis de OCL 2.0 (sublenguaje de especificación de UML 2.0).
 
 
Interesados contactar con el profesor Ambrosio Toval para recabar más información sobre las líneas de trabajo anteriores.