- -

Técnicas de refactorización para Maude

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Técnicas de refactorización para Maude

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Técnicas de refactorización para Maude
Autor:
Director(es): Alpuente Frasnedo, María Frechina Navarro, Francisco
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2013-07-10
Fecha difusión:
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
Palabras clave: Maude , Técnicas , Refactorización , Techniques , Refactoring
Derechos de uso: Reconocimiento - Sin obra derivada - No comercial (by-nd-nc)
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ó
Tipo: Tesis de máster

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem