Short draft proposal for an Italian “Assegno di ricerca” on “A proof-theoretic approach to MDA: verification and validation of model transformations” [PDF] (July 09)