- -

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 simple item record

Files in this item

dc.contributor.advisor Alpuente Frasnedo, María es_ES
dc.contributor.author Romero ., Daniel Omar es_ES
dc.date.accessioned 2011-11-14T07:18:54Z
dc.date.available 2011-11-14T07:18:54Z
dc.date.created 2007-11
dc.date.issued 2011-11-14
dc.identifier.uri http://hdl.handle.net/10251/12911
dc.description.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 estrategias de reparación para obtener un sitio web que sea correcto y completo con respecto a la especificación original es_ES
dc.format.extent 118 es_ES
dc.language Español es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Sitio web es_ES
dc.subject Verificación es_ES
dc.subject Reparación es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title Métodos formales en la verificación y reparación de sitios web: estrategias, implementación y análisis estático es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod Archivo delegado es_ES


This item appears in the following Collection(s)

Show simple item record