- -

Técnicas de refactorización para Maude

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Técnicas de refactorización para Maude

Show full item record

Cuenca Ortega, A. (2013). Técnicas de refactorización para Maude. http://hdl.handle.net/10251/44322

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

Files in this item

Thumbnail
Name: TFM.pdf
Size: 1.204Mb
Format: PDF
Open/Preview

Item Metadata

Title: Técnicas de refactorización para Maude
Author: CUENCA ORTEGA, ANGEL
Director(s): Alpuente Frasnedo, María Frechina Navarro, Francisco
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2013-07-10
 Issued date:
Abstract:
[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
Subjects: Maude , Técnicas , Refactorización , Techniques , Refactoring
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Publisher:
Universitat Politècnica de València
degree: 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ó
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record