Simposio Doctoral

El Simposio Doctoral CIbSE 2013 es un foro internacional que ofrece a los estudiantes de doctorado la oportunidad de presentar, discutir e intercambiar ideas respecto a sus temas de investigación en una atmósfera constructiva y crítica. Los principales objetivos del Simposio Doctoral son:

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 SymposiumSimposio Doctoral

Industrial forumIndustrial forum

TutorialsTutoriales

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

Apoyan:

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