Programme of MOMPES at ETAPS 2007
Saturday, March 31, room: CP2-108
09:00 - 10:00 SESSION 1
- Opening and Welcome Session
- Invited Talk
- On the Applicability Scope of Model Driven
Engineering
- Jean Bézivin
10:00 - 10:40 SESSION 2
- Pervasive Systems
- Towards a Model-Driven Approach for
Ontology-Based Context-Aware Application Development: A Case Study
- Nektarios Georgalas, Shumao Ou, Manooch
Azmoodeh, Kun Yang
- Tool Support for Model Driven Development of
Pervasive Systems
- Carlos Cetina, Estefanía Serral, Javier Muñoz,
Vicente Pelechano
10:40 - 11:00 Coffee Break
11:00 - 11:40 SESSION 3
- Modelling Approaches
- A Generic Execution Framework for Models of
Computation
- Cécile Hardebolle, Frédéric Boulanger, Dominique
Marcadet, Guy Vidal-Naquet
- UML Profile for eXtreme Modeling Interactive Systems
- Alberto Rodrigues da Silva, João Saraiva, Rui
Silva, Carlos Martins
11:40 - 12:20 SESSION 4
- Formal Approaches (Chair: Ridha Khedri)
- Model-Driven Consistency Checking of Behavioural
Specifications
- Bas Graaf, Arie van Deursen
- Challenges when using Model Driven Architecture
in the Development of Safety Critical Software
- Philippa Conmy, Richard F. Paige
12:30 - 14:30 Lunch
14:30 - 15:15 SESSION 5
- Invited Talk
- Executable Use Cases: a Supplement to
Model-Driven Development?
- Jens B. Jørgensen
15:15 - 15:55 SESSION 6
- Software Product Lines
- Adopting Computational Independent Models for
Derivation of Architectural Requirements of Software Product Lines
- Alexandre Bragança, Ricardo J. Machado
- Model-driven Development of Particle System
Families
- Michalis Anastasopoulos, András Balogh
15:55 - 16:15 Coffee Break
16:15 - 16:55 SESSION 7
- Session on Embedded Systems (Chair: Luís
Gomes)
- ModES: Embedded Systems Design Methodology and
Tools based on MDE
- Francisco Assis M. do Nascimento, Márcio
F. S. Oliveira, Flávio Rech Wagner
- Designing a Unified Process for Embedded Systems
- Elvinia Riccobene, Patrizia Scandurra, Alberto
Rosti, Sara Bocchio
16:55 - 17:10 Closing Session
18:45 SOCIAL EVENT
- Joint Workshops
Post-Conference Dinner (tickets needed)
- Dinner at Pousada Santa Maria de Bouro
- Shuttle departure from University Campus, Gualtar
Further ETAPS 2007 Programme Information:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
OpenCert,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13