Simpósio Doutoral

O Simpósio 2013 CIBSE Doutorado é um fórum internacional, que oferece aos estudantes de doutorado a oportunidade de apresentar, discutir e trocar idéias sobre seus temas de pesquisa em uma atmosfera construtiva e crítica. Os principais objetivos do Simpósio de Doutorado são:

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 SymposiumSimpósio Doutoral

Industrial forumIndustrial forum

TutorialsTutoriais

Organizan:

   
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

Apoian:

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