| 09:00-10:30 |
Session #1 Domain Specific Modeling Overview - Vasco Amaral
|
Session #5 Modeling and Metamodeling - Hans Vangheluwe
|
Session #9 Introduction to Verification - Alexis
|
Session #13 Welcome Introduction - Luis Caires, Director of CITI
|
Session #17 Validation/Evaluating DSLs - Miguel Goulão
|
|
| 10:30-11:00 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 11:00-12:30 |
Session #2 Domain Engineering - Maurício AlferezDSL RPG - Eduardo Marques/Valter Balegas |
Session #6 Introduction to Model Transformations - Eugene
|
Session #10 State-of-the-Art MC, CS, SAT Solvers,Theorem Provers, APN for Verififcation - Alexis
|
Session #14 Semantics of DSLs - Didier Buchs
|
Session #18 Model-Based Testing - Ana Paiva, João Pascoal Faria, Hugo Ferreira FEUP
|
|
| 12:30-14:00 | Lunch | Lunch | Lunch | Lunch | Lunch | |
| 14:00-16:00 |
Session #3 EMFText - Mauricio Alferez
|
Session #7 Xpand + ATL - Vasco Sousa
|
Session #11 Alpina - Alexis
|
Session #15 Practical case study: Semantics of RPG DSL - Didier Buchs
|
Session #19 Modelling Language Evolution, Debugging, Simulation and Animation for DSM - Hans Vangheluwe
|
|
| 16:00-16:30 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 16:30-18:30 |
Session #4 GMF/EMF + Eugenia - Vasco Sousa
|
Session #8 DSLTrans (MM+MC) - Bruno Barroca
|
Session #12 RPG DSL: mini RPG - Alexis/Bruno
|
Session #16 Phone Apps - Hans VangheluweMDD in Home Automation and SmartGrids - Paulo Carreira MDD approaches in ProjectIT initiative - Alberto Silva |
Session #20 MDE development of Model Transformation - EugeneDSM Education - Vasco Amaral |
|
