Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude

Galán Pascual, Daniel (Universitat Politècnica de València, 2021-09-15)

[ES] El estado del arte en el diseño de herramientas de especialización automática de código está enfocado a la construcción de herramientas monolíticas, donde se priman la automatización completa y la eficiencia frente a ...
Partial Evaluation of Rewriting Logic Theories

Cuenca Ortega, Ángel Eduardo (Universitat Politècnica de València, 2019-11-04)

[ES] La evaluación parcial de programas es una técnica general y potente de optimización de programas que preserva su semántica y tiene muchas aplicaciones relevantes. La optimización se consigue al especializar programas ...
Técnicas de Reescritura Ecuacional aplicadas al Análisis, Verificación y Transformación de sistemas Web

Ojeda Forés, Pedro (Universitat Politècnica de València, 2011-10-27)

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 ...

Mostrando ítems 1-3 de 3