- -

Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático

Show full item record

Romero ., DO. (2007). Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático. http://hdl.handle.net/10251/12911.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/12911

Files in this item

Item Metadata

Title: Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático
Author:
Director(s): Alpuente Frasnedo, María
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2007-11
Issued date:
Abstract:
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 ...[+]
Subjects: Sitio web , Verificación , Reparación
Copyrigths: Reserva de todos los derechos
degree: 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ó
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record