Models in Software Engineering

Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

  • Michel R. V. Chaudron

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5421)

Table of contents

  1. Front Matter
  2. Model Based Architecting and Construction of Embedded Systems (ACES-MB)

    1. Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
      Pages 1-4
    2. M. Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis
      Pages 5-19
    3. Joseph Porter, Gábor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway et al.
      Pages 20-34
  3. Challenges in Model Driven Software Engineering (CHAMDE)

    1. Ragnhild Van Der Straeten, Tom Mens, Stefan Van Baelen
      Pages 35-47
    2. Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
      Pages 48-53
    3. Parastoo Mohagheghi, Miguel A. Fernandez, Juan A. Martell, Mathias Fritzsche, Wasif Gilani
      Pages 54-59
    4. José Eduardo Rivera, José Raul Romero, Antonio Vallecillo
      Pages 60-65
  4. Empirical Studies of Model Driven Engineering (ESMDA)

  5. Models@runtime

    1. Nelly Bencomo, Gordon Blair, Robert France, Freddy Muñoz, Cédric Jeanneret
      Pages 90-96
    2. Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel
      Pages 97-108
    3. Shahar Maoz
      Pages 109-119
  6. Model Co-evolution and Consistency Management (MCCM)

    1. Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens
      Pages 120-123
    2. Duc-Hanh Dang, Martin Gogolla
      Pages 124-137
    3. Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel
      Pages 138-150
  7. Model-Driven Web Engineering (MDWE)

    1. Geert-Jan Houben, Nora Koch, Antonio Vallecillo
      Pages 151-152
    2. László Gönczy, Zsolt Déri, Dániel Varró
      Pages 153-166
    3. Marco Brambilla, Piero Fraternali, Massimo Tisi
      Pages 167-180
  8. Modeling Security (MODSEC)

    1. Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson
      Pages 181-184

Other volumes

  1. 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
  2. Models in Software Engineering
    Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

About these proceedings

Introduction

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008.

The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Keywords

Inform aspect-oriented modeling design domain-specific languages domain-specific modeling embedded systems formal methods formal semantics generic programming model checking model transformation model-based software architecture modeling software engineering tools

Editors and affiliations

  • Michel R. V. Chaudron
    • 1
  1. 1.faculty of Mathematics and Natural Sciences, Leiden Institute of Advanced Computer ScienceUniversity of LeidenLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-01648-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-01647-9
  • Online ISBN 978-3-642-01648-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book