Tesis doctoral de Demis Ballis
La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para la verificación y la corrección de datos y programas. generalmente, establecer si un programa se comporta según las intenciones originales del programador o controlar la consistencia y la corrección de grandes conjuntos de datos no son tareas triviales, como atestiguan los numerosos casos de estudio que encontramos en la bibliografía. en esta tesis, abordamos dos problemas abiertos de verificación y corrección. en concreto, la verificación y corrección de programas declarativos y la verificación y corrección de sitios web (es decir, conjuntos de datos semiestructurados). en primer lugar, se ha definido un esquema general para la corrección automática de programas declarativos basados en reglas, que explota una combinación de técnicas de aprendizaje inductivo top-down y bottom-up. nuestra metodología híbrida es capaz de inferior correcciones que son arduas, o incluso imposibles, de conseguir con un sistema más simple de aprendizaje automático puramente top-down o bottom-up. además se ha particularizado el esquema general a dos paradigmas de programación declarativa bien conocidos: el paradigma lógico funcional y el paradigma funcional. en segundo lugar, se ha formalizado un marco para la verificación autonómica de sitios web, que se puede usar para especificar condiciones de integridad sobre ellos, y luego comprobar automáticamente si estas condiciones se satisfacen. por un lado, hemos definido un lenguaje de especificación basado en reglas, que permiten definir propiedades tanto sintácticas como semánticas de un sitio web. por otro lado se ha formalizado una técnica de verificación que detecta patrones incorrectos/prohibidos y carencia de información, es decir páginas web incompletas o ausentes. durante el proceso de verificación, se recoge información útil, que puede ser usada
Datos académicos de la tesis doctoral «Rule-based software verification and correction«
- Título de la tesis: Rule-based software verification and correction
- Autor: Demis Ballis
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 28/02/2005
Dirección y tribunal
- Director de la tesis
- María Alpuente Frasnedo
- Tribunal
- Presidente del tribunal: furio Honsell
- luca Chittaro (vocal)
- Andrea Schaerf (vocal)
- (vocal)