Tesis doctoral de José Javier Merseguer Hernaiz
En esta tesis se da semántica en términos de redes de ptri estocásticas a las máquinas de estados de uml y a los diagramas de actividad de uml. la semántica obtenida permite la validación de propiedades cualitativas y cuantitativos de los sistemas software en las etapas tempranos del ciclo de vida y como «sub-producto» de este. Se incrementa la sintaxis de uml para describir requerimientos de prestaciones. palabras clave: uml, ingeniería del software, redes de petri, métodos formales, sistemas distribuidos, modelado de sistemas software.
Datos académicos de la tesis doctoral «Evaluación del rendimiento del software basada en uml y redes de petri«
- Título de la tesis: Evaluación del rendimiento del software basada en uml y redes de petri
- Autor: José Javier Merseguer Hernaiz
- Universidad: Zaragoza
- Fecha de lectura de la tesis: 27/03/2003
Dirección y tribunal
- Director de la tesis
- Campos Laclaustra Francisco Javier
- Tribunal
- Presidente del tribunal: manuel Silva suárez
- pere Botella lópez (vocal)
- José María Drake moyano (vocal)
- ramón Puigjaner trepat (vocal)