- -

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

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: memoria.pdf
Tamaño: 1.247Mb
Formato: PDF
Abrir
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.publisher Universitat Politècnica de València 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


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

Mostrar el registro sencillo del ítem