The Community for Technology Leaders
Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on (2007)
Braga, Portugal
Mar. 31, 2007 to Mar. 31, 2007
ISBN: 0-7695-2769-8
TABLE OF CONTENTS
Introduction
Invited Papers

On the Applicability Scope of Model Driven Engineering (Abstract)

Mikael Barbero , University of Nantes, France
Frederic Jouault , University of Nantes, France
Jean Bezivin , University of Nantes, France
pp. 3-7
Session on Pervasive Systems

Tool Support for Model Driven Development of Pervasive Systems (Abstract)

Carlos Cetina , Technical University of Valencia, Spain
Estefan?a Serral , Technical University of Valencia, Spain
Vicente Pelechano , Technical University of Valencia, Spain
Javier Munoz , Technical University of Valencia, Spain
pp. 33-44
Session on Modelling Approaches

A Generic Execution Framework for Models of Computation (Abstract)

Guy Vidal-Naquet , Supelec - Computer Science Department, Cedex, France
Frederic Boulanger , Supelec - Computer Science Department, Cedex, France
Dominique Marcadet , Supelec - Computer Science Department, Cedex, France
Cecile Hardebolle , Supelec - Computer Science Department, Cedex, France
pp. 45-54

XIS-UML Profile for eXtreme Modeling Interactive Systems (Abstract)

Carlos Martins , INESC-ID, Instituto Superior T?cnico
Joao Saraiva , INESC-ID, Instituto Superior T?cnico
Alberto Rodrigues da Silva , INESC-ID, Instituto Superior T?cnico
Rui Silva , INESC-ID, Instituto Superior T?cnico
pp. 55-66
Session on Embedded Systems

ModES: Embedded Systems Design Methodology and Tools based on MDE (Abstract)

Flavio Rech Wagner , UFRGS, Instituto de Inform?tica, Porto Alegre, Brazil
Francisco Assis M. do Nascimento , UFRGS, Instituto de Inform?tica, Porto Alegre, Brazil
M?rcio F. S. Oliveira , UFRGS, Instituto de Inform?tica, Porto Alegre, Brazil
pp. 67-76

Designing a Unified Process for Embedded Systems (Abstract)

Patrizia Scandurra , Universit? di Milano, Italy
Elvinia Riccobene , Universit? di Milano, Italy
Alberto Rosti , STMicroelectronics AST Lab R&I, C.d.Colleoni Agrate Brianza, Italy
Sara Bocchio , STMicroelectronics AST Lab R&I, C.d.Colleoni Agrate Brianza, Italy
pp. 77-90
Session on Software Product Lines

Model-driven development of Particle System Families (Abstract)

Andr?s Balogh , Budapest University of Technology and Economics
Michalis Anastasopoulos , Fraunhofer IESE, Germany
pp. 102-114
Session on Formal Approaches

Model-Driven Consistency Checking of Behavioural Specifications (Abstract)

Arie van Deursen , Delft University of Technology and CWI
Bas Graaf , Delft University of Technology
pp. 115-126
Author Index

Author Index (PDF)

pp. 137
104 ms
(Ver )