Técnicas de refactorización para Maude
Archivos
Fecha
Autores
Editores
Otras autorías
Unidades organizativas
Handle
https://riunet.upv.es/handle/10251/44322
Cita bibliográfica
Cuenca Ortega, A. (2013). Técnicas de refactorización para Maude. Universitat Politècnica de València. https://riunet.upv.es/handle/10251/44322
Titulación
Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació
Resumen
[EN] Refactoring techniques for the rewriting logic for the Maude language
[ES] Técnicas de refactorización para la lógica de reescritura (RWL) y concretamente aplicables al lenguaje Maude