Doctoral Symposium

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:

Doctoral Symposium

 

Monday, April 8 14:00 - 14:45 hs.

Opening Symposium Doctoral.

Gerardo Matturro y Luca Cernuzzi.

 

Monday, April 8 16:00 - 16:45 hs.

Towards Heterogeneous Verication of Model Transformations.

Daniel Calegari

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 di erent 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.

 

Monday, April 8 16:45 - 17:30 hs.

Tape Mbo'e (TME): A Service Oriented Methodology.

Ilse Grau

 


Tracks

KeynotesKeynotes

CIbSECIbSE

WERWER

ESELAWESELAW

Doctoral SymposiumDoctoral Symposium

Industrial forumIndustrial forum

TutorialsTutorials

Organized:

     
Universidad ORT Uruguay Universidad de la República antel

Media Partner:

El País

Sponsors:

GeneXus consulting One Tree Microsoft El sitio de los clasificados
Tata Consultancy Services Mercado libre Globant Tilsor Instituto uruguayo de normas técnicas PLOP

Support:

Centro Latinoamericano de Estudios en Informática Agencia Nacional de Investigación e Innovación IEEE computer society Cámara uruguaya de tecnologías en la información