- -

Técnicas de refactorización para Maude

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Thumbnail
Nombre: TFM.pdf
Tamaño: 1.204Mb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: Técnicas de refactorización para Maude
Autor: CUENCA ORTEGA, ANGEL
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 - No comercial - Sin obra derivada (by-nc-nd)
Editorial:
Universitat Politècnica de València
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

recommendations

 

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

Mostrar el registro completo del ítem