- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

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

Show full item record

Frechina Navarro, F. (2014). A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/44234

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

Files in this item

Item Metadata

Title: A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems
Author: Frechina Navarro, Francisco
Director(s): Alpuente Frasnedo, María Ballis, Demis
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2014-10-31
Issued date:
Abstract:
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, ...[+]
Subjects: Trace analysis , Program debugging and comprehension , Rewriting logic , Trace exploration , Maude , Conditional rewrite theories
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/44234
Publisher:
Universitat Politècnica de València
Type: Tesis doctoral

recommendations

 

This item appears in the following Collection(s)

Show full item record