The Doctoral Symposium CIbSE 2013 is an international forum for PhD students to discuss their research goals, methodology, and early results, in a critical but supportive and constructive environment. Thus, the main objectives of the Doctoral Symposium are:
Opening Symposium Doctoral.
Gerardo Matturro y Luca Cernuzzi.
The quality of a Model-Driven Engineering based construction process strongly depends on the quality of the model transformations involved. There is a plethora of verication approaches whose objectives, formalisms and supporting tools are heterogeneous and are not integrated. The aim of this work is to explore a comprehensive environment for the formal verication of dierent aspects of model transformations using heterogeneous verication approaches. The environment is based on the formalization of model transformation languages as so called institutions, and their translations into several logics with the purpose of proving model transformation properties. We also devise how this environment can be integrated into the Heterogeneous Tool Set which is meant to support heterogeneous multi-logic specications.