The Community for Technology Leaders
RSS Icon
Subscribe
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
Jean Bezivin , University of Nantes, France
Mikael Barbero , University of Nantes, France
Frederic Jouault , University of Nantes, France
pp. 3-7
Jens Baek Jorgensen , University of Aarhus, Denmark
pp. 8-15
Session on Pervasive Systems
Carlos Cetina , Technical University of Valencia, Spain
Estefan?a Serral , Technical University of Valencia, Spain
Javier Munoz , Technical University of Valencia, Spain
Vicente Pelechano , Technical University of Valencia, Spain
pp. 33-44
Session on Modelling Approaches
Cecile Hardebolle , Supelec - Computer Science Department, Cedex, France
Frederic Boulanger , Supelec - Computer Science Department, Cedex, France
Dominique Marcadet , Supelec - Computer Science Department, Cedex, France
Guy Vidal-Naquet , Supelec - Computer Science Department, Cedex, France
pp. 45-54
Alberto Rodrigues da Silva , INESC-ID, Instituto Superior T?cnico
Joao Saraiva , INESC-ID, Instituto Superior T?cnico
Rui Silva , INESC-ID, Instituto Superior T?cnico
Carlos Martins , INESC-ID, Instituto Superior T?cnico
pp. 55-66
Session on Embedded Systems
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
Flavio Rech Wagner , UFRGS, Instituto de Inform?tica, Porto Alegre, Brazil
pp. 67-76
Elvinia Riccobene , Universit? di Milano, Italy
Patrizia Scandurra , 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
Alexandre Braganca , ISEP, IPP, Porto, Portugal
Ricardo J. Machado , Universidade do Minho, Guimaraes, Portugal
pp. 91-101
Michalis Anastasopoulos , Fraunhofer IESE, Germany
Andr?s Balogh , Budapest University of Technology and Economics
pp. 102-114
Session on Formal Approaches
Bas Graaf , Delft University of Technology
Arie van Deursen , Delft University of Technology and CWI
pp. 115-126
Author Index
Author Index (PDF)
pp. 137
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool