loading...
  • M
  • MOMPES
  • 2007
  • Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07)
Advanced Search 
Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07)
Braga, Portugal
March 31-March 31
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
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
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
Usage of this product signifies your acceptance of the Terms of Use.