Mostrar el registro completo del ítem
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
Título: | Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web | |||
Autor: | Ojeda Forés, Pedro | |||
Director(es): | ||||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Resumen: |
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 ...[+]
|
|||
Palabras clave: |
|
|||
Derechos de uso: | Reserva de todos los derechos | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|