A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems

A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems

Los sistemas software actuales son artefactos complejos cuyo comportamiento es a menudo extremadamente difícil de entender. Este hecho ha llevado al desarrollo de metodologías formales muy sofisticadas para el análisis, comprensión y depuración de programas. El análisis de trazas de ejecución consi...

Full description

Bibliographic Details
Main Author: Frechina Navarro, Francisco
Other Authors: Alpuente Frasnedo, María
Format: Doctoral Thesis
Language:English
Published: Universitat Politècnica de València 2014
Subjects:
Trace analysis
Program debugging and comprehension
Rewriting logic
Trace exploration
Maude
Conditional rewrite theories
LENGUAJES Y SISTEMAS INFORMATICOS
Online Access:http://hdl.handle.net/10251/44234

Internet

http://hdl.handle.net/10251/44234

Similar Items