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

  1. Pérez Toledano, Miguel Angel
Supervised by:
  1. Juan Manuel Murillo Rodríguez Director
  2. José Carlos Canal Velasco Director

Defence university: Universidad de Extremadura

Fecha de defensa: 12 December 2008

Committee:
  1. Juan Hernández Núñez Chair
  2. Carlos Enrique Cuesta Quintero Secretary
  3. Pascal Poizat Committee member
  4. Manuel Barrio Solórzano Committee member
  5. Gwen Salaün Committee member

Type: Thesis

Teseo: 178926 DIALNET

Abstract

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.