Alpuente Frasnedo, MaríaFrechina Navarro, FranciscoCUENCA ORTEGA, ANGEL2014-11-182014-11-182013-07-102014-11-18https://riunet.upv.es/handle/10251/44322[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 Maude131Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)MaudeTécnicasRefactorizaciónTechniquesRefactoringLENGUAJES Y SISTEMAS INFORMATICOSMá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óTesis de másterAbierto