Learn More
Resumen La propuesta MDA del OMG está teniendo un gran auge en los últimos años. A pesar de la numerosa documentación existente sobre ella, todavía existen aspectos no denidos, deni-dos de forma imprecisa o a los que todavía no se les ha prestado la suciente atención. Entre Sin embargo, si analizamos detenidamente la numerosa documentación existente(More)
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-versus-intuition framework for model transformation, focusing on the MDA-QVT standards. To illustrate this approach, an example and some formal applications of these specications(More)
  • 1