Tesis doctoral de Miguel ángel Pérez Toledano
El objetivo de esta tesis doctoral consiste en la detección de patologías en el código de programas software, producidas por la utilización incorrecta de la tecnología de aspectos. Para ello, propone un marco de trabajo encargado de construir un modelo, usando máquinas de estados ampliadas, que se usará como referencia para las operaciones de verificación del código fuente de los programas.
Datos académicos de la tesis doctoral «Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software«
- Título de la tesis: Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software
- Autor: Miguel ángel Pérez Toledano
- Universidad: Extremadura
- Fecha de lectura de la tesis: 12/12/2008
Dirección y tribunal
- Director de la tesis
- José Carlos Canal Velasco
- Tribunal
- Presidente del tribunal: Juan María Hernandez nuñez
- pascal Poizat (vocal)
- Manuel Barrio solórzano (vocal)
- gwen Salaí¼n (vocal)