- -

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

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

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

Files in this item

Item Metadata

Title: Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web
Author: Ojeda Forés, Pedro
Director(s): Alpuente Frasnedo, María Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2008-09
Issued date:
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 ...[+]
Subjects: Reescritura parcial , Maude , Igg , Evaluación parcial , Verificación y reparación de sitios web
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