Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Lógica de reescritura"

Mostrando ítems 1-5 de 5

Análisis simbólico de planes de evolución para líneas de producto software

Cerveró Gregori, Pere (Universitat Politècnica de València, 2021-01-21)

[ES] El objetivo de este trabajo es desarrollar una técnica de análisis simbólico para planes de evolución de líneas de producto software, una colección de productos estrechamente relacionados que satisfacen las necesidades ...
Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura

Alba Castro, Mauricio Fernando (Universitat Politècnica de València, 2011-10-20)

En esta tesis se presenta una metodología y la implementación correspondiente para la certificación de propiedades de seguridad de programas Java, basada en lógica de reescritura, semántica de lenguajes de programación e ...
Regression Test-Driven Extension of PLEXIL5: Support for Update Nodes

Moreno Latorre, Jorge (Universitat Politècnica de València, 2023-09-26)

[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...
Safety enforcement via programmable strategies in Maude

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

[ES] El objetivo de este trabajo es formalizar un mecanismo general para garantizar la seguridad de las computaciones en lógica de reescritura. La técnica propuesta consiste en una transformación de programas que garantiza ...
Slicing slices, an incremental backward trace slicing methodology for rwl computations

Sapiña Sanchis, Julia (Universitat Politècnica de València, 2014-11-28)

[EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...