In 2006 I got a FICYT Research Grant in Software Engineering. As the results of my research I wrote a document I would like to share. Since it was written three years ago it is quite outdated but perhaps somebody can find it useful.

The report shows very well my evolution during the research period. First, I was very interested in evaluating the possibilities of UML for specifying software formally. As result there is a very long chapter on the foundations of the language.

I learned the benefits of the multi-DSL proposal (and the inconveniences of the UML-centric one), and the basics on model to model transformations and formal languages definition through their metamodels, and I focused my research on these topics.

Download