- -

Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web

Show simple item record

Files in this item

dc.contributor.advisor Alpuente Frasnedo, María es_ES
dc.contributor.advisor Escobar Román, Santiago es_ES
dc.contributor.author Ojeda Forés, Pedro es_ES
dc.date.accessioned 2011-10-27T13:01:24Z
dc.date.available 2011-10-27T13:01:24Z
dc.date.created 2008-09
dc.date.issued 2011-10-27
dc.identifier.uri http://hdl.handle.net/10251/12448
dc.description.abstract En este trabajo se presenta, en primer lugar, una metodología de verificación y reparación de sitios Web que permite especificar requerimientos sobre el sitio Web y detectar errores en base a la especificación. Para optimizar el proceso de verificación, se definen algoritmos de cálculo de generalizaciones ecuacionales y order-sorted. es_ES
dc.format.extent 137 es_ES
dc.language Español es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Reescritura parcial es_ES
dc.subject Maude es_ES
dc.subject Igg es_ES
dc.subject Evaluación parcial es_ES
dc.subject Verificación y reparación de sitios web 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 Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web 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 Ojeda Forés, P. (2008). Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web. http://hdl.handle.net/10251/12448 es_ES
dc.description.accrualMethod Archivo delegado es_ES


This item appears in the following Collection(s)

Show simple item record