- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: TesisMaster_Danie ...
Tamaño: 685.9Kb
Formato: PDF
Abrir
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.publisher Universitat Politècnica de València 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


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem