Formalización de refactorings en el contexto de MDA

dc.contributorFavre, Liliana María
dc.contributorRossi, Gustavo Héctor
dc.creatorPereira, Claudia Teresa
dc.date2008
dc.date2008
dc.date2009-05-29T03:00:00Z
dc.identifierhttp://sedici.unlp.edu.ar/handle/10915/4146
dc.identifierhttps://doi.org/10.35537/10915/4146
dc.identifierhttp://postgrado.info.unlp.edu.ar/Carreras/Magisters/Ingenieria_de_Software/Tesis/Pereira_Claudia.pdf
dc.descriptionEl objetivo principal de esta tesis es presentar una técnica de especificación de refactorings alineados con MDA aplicables a sus diferentes tipos de modelos de diseño UML, es decir, a modelos independientes de la computación, modelos dependientes de una plataforma y modelos dependientes de la implementación. En particular, en este trabajo, se muestra la técnica de especificación de refactorings aplicados a modelos de diagramas de clases UML enriquecidos con anotaciones OCL en los distintos niveles de abstracción. Los refactorings se especifican como contratos OCL utilizando la técnica de metamodelado. Los metamodelos son expresados usando Meta Object Facility (MOF). Asimismo, en esta tesis, se analiza la integración de la especificación de los refactorings con técnicas formales. Se detalla la traducción de los contratos OCL de refactorings y los metamodelos MOF al lenguaje de especificación formal NEREUS.
dc.descriptionFacultad de Informática
dc.formatapplication/pdf
dc.languagees
dc.rightshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsCreative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.subjectIngeniería
dc.subjectIngeniería Civil
dc.subjectCiencias Informáticas
dc.subjectSoftware
dc.subjectInformática
dc.subjectAplicación informática
dc.subjectIngeniería de software
dc.subjectLenguajes
dc.subjectDiseño de software
dc.titleFormalización de refactorings en el contexto de MDA
dc.typeTesis
dc.typeTesis de maestria


Este ítem pertenece a la siguiente institución