4. MOMPES 2007: Braga, Portugal
João M. Fernandes, Ricardo Jorge Machado, Ridha Khédri, Siobhán Clarke (Eds.): Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings. IEEE Computer Society 2007 ISBN 0-7695-2769-8
Invited Papers
Jean Bézivin, Mikaël Barbero, Frédéric Jouault: On the Applicability Scope of Model Driven Engineering. 3-7
Jens Bæk Jørgensen: Executable Use Cases: A Supplement to Model-Driven Development?. 8-15
Session on Pervasive Systems
Nektarios Georgalas, Shumao Ou, Manooch Azmoodeh, Kun Yang: Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case Study. 21-32
Carlos Cetina, Estefanía Serral, Javier Muñoz, Vicente Pelechano: Tool Support for Model Driven Development of Pervasive Systems. 33-44
Session on Modelling Approaches
Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet: A Generic Execution Framework for Models of Computation. 45-54
Alberto Rodrigues da Silva, João de Sousa Saraiva, Rui Silva, Carlos Martins: XIS-UML Profile for eXtreme Modeling Interactive Systems. 55-66
Session on Embedded Systems
Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner: ModES: Embedded Systems Design Methodology and Tools Based on MDE. 67-76
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: Designing a Unified Process for Embedded Systems. 77-90
Session on Software Product Lines
Alexandre Bragança, Ricardo Jorge Machado: Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines. 91-101
Michalis Anastasopoulos, András Balogh: Model-driven Development of Particle System Families. 102-114
Session on Formal Approaches
Bas Graaf, Arie van Deursen: Model-Driven Consistency Checking of Behavioural Specifications. 115-126



