Advertisement

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
  9. Model-Based Design of Trustworthy Health Information Systems (MOTHIS)

    1. Ståle Walderhaug, Erlend Stav, Marius Mikalsen
      Pages 199-212
    2. Alfred Winter, Alexander Strübing, Lutz Ißler, Birgit Brigl, Reinhold Haux
      Pages 213-226
  10. Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML)

    1. Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke
      Pages 229-242
  11. OCL Tools: From Implementation to Evaluation and Comparison (OCL)

    1. Jordi Cabot, Martin Gogolla, Pieter Van Gorp
      Pages 257-262
    2. Fabian Büttner, Mirco Kuhlmann
      Pages 263-272
    3. Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin
      Pages 273-284
  12. Quality in Modeling (QIM)

    1. Jean-Louis Sourrouille, Ludwik Kuzniarz, Lars Pareto, Parastoo Mohagheghi, Miroslaw Staron
      Pages 285-290
    2. Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille
      Pages 291-302
    3. M. Esperanza Manso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini
      Pages 303-313
  13. Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE)

    1. Fernando Silva Parreiras, Jeff Z. Pan, Uwe Assmann, Jakob Henriksson
      Pages 314-317
    2. Dania Harb, Cédric Bouhours, Hervé Leblanc
      Pages 318-331
    3. Robert Tairas, Marjan Mernik, Jeff Gray
      Pages 332-342
  14. Doctoral Symposium

  15. Educational Symposium

    1. Yvan Labiche
      Pages 375-386
    2. Tom Gelhausen, Mathias Landhäußer, Sven J. Körner
      Pages 387-399
  16. Research Project Symposium

    1. Iulian Ober
      Pages 400-401
  17. Back Matter

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
  • Buy this book on publisher's site