Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software

• Autores: Miguel Angel Pérez Toledano
• Directores de la Tesis: Juan Manuel Murillo Rodríguez (dir. tes.) , José Carlos Canal Velasco (dir. tes.)
• Lectura: En la Universidad de Extremadura ( España ) en 2008
• Idioma: español
• Tribunal Calificador de la Tesis: Juan María Hernández Núñez (presid.) , Carlos Enrique Cuesta Quintero (secret.) , Manuel Barrio Solórzano (voc.) , Gwen Salaün (voc.) , Pascal Poizat (voc.)
• Calificación: Sobresaliente Cum Laude
• Enlaces
  • Tesis en acceso abierto en: TESEO
• Resumen

  • 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.