English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

os en modelos concretos, es decir, de CIM a ISM. En los procesos de ingenieria reversa se analiza un sistema para identificar sus componentes y sus interrelaciones y se crean modelos en un mayor nivel de abstraccion, es decir, las transformaciones van desde ISM a CIM. En los procesos de reingenieria, cuyo objetivo es reestructurar software legacy o migrar codigo a un lenguaje de programacion, plataforma o paradigma diferente, se transforma una representacion de bajo nivel en otra, mientras se construyen modelos de mayor nivel de abstraccion a lo largo del proceso. Los lenguajes UML y OCL, y en particular, los metamodelos MOF, son expresivos y flexibles, lo cual se refleja en el aumento en la productividad del disenador, pero son imprecisos y ambiguos para simular, verificar y validar propiedades del sistema o para generar modelos o implementaciones a partir de transformaciones. Por otra parte, los lenguajes formales permiten producir especificaciones de software precisas y analizables y automatizar las transformaciones de modelo a modelo, sin embargo, requieren cierta familiaridad con la notacion formal que la mayoria de los disenadores no poseen. Por lo tanto, ambos tipos de lenguajes se complementan y su integracion permitiria aprovechar las ventajas que cada uno ofrece. Por lo anteriormente expuesto, en esta tesis se propone una tecnica de metamodelado, alineada con MOF y MDA, para la definicion de refactorings de modelos en diferentes niveles de abstraccion (PIM, PSM, ISM). Ademas, se propone un metodo para construir una especificacion formal de refactorings usando el lenguaje de metamodelado NEREUS (Favre, 2005). En la proxima seccion se describe el objetivo y la descripcion general de esta propuesta. 1.1 Propuesta de tesis

Formalización de refactorings en el contexto de MDA