Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático
Fecha
Autores
Directores
Editores
Otras autorías
Unidades organizativas
Handle
https://riunet.upv.es/handle/10251/12911
Cita bibliográfica
Romero ., DO. (2007). Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático. Universitat Politècnica de València. https://riunet.upv.es/handle/10251/12911
Titulación
Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació
Resumen
En este trabajo se presenta una metodología de verificación y reparación de sitios web que permite: especificar los requerimientos del usuario, detectar con precisión las partes que no satisfacen la especificación y aplicar estrategias de reparación para obtener un sitio web que sea correcto y completo con respecto a la especificación original