Models in Software Engineering

Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

  • Editors
  • Holger Giese
Conference proceedings MODELS 2007

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

Table of contents

  1. Front Matter
  2. Aspect-Oriented Modeling

    1. Jörg Kienzle, Jeff Gray, Dominik Stein, Walter Cazzola, Omar Aldawud, Tzilla Elrad
      Pages 1-6
    2. Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh
      Pages 7-15
  3. Language Engineering

    1. Jean-Marie Favre, Dragan Gašević, Ralf Lämmel, Andreas Winter
      Pages 28-33
    2. Martin Bravenboer, Eelco Visser
      Pages 34-46
  4. Model Driven Development of Advanced User Interfaces

    1. Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Daniel Görlich, Heinrich Hußmann
      Pages 59-64
    2. Guillaume Gauffre, Emmanuel Dubois, Remi Bastide
      Pages 65-76
    3. Sevan Kavaldjian, Cristian Bogdan, Jürgen Falb, Hermann Kaindl
      Pages 77-88
  5. Model Size Metrics

    1. Michel Chaudron, Christian F. J. Lange
      Pages 89-92
    2. Ariadi Nugroho, Christian F. J. Lange
      Pages 93-104
  6. Model-Based Design of Trustworthy Health Information Systems

    1. Ákos Lédeczi, Ruth Breu, Bradley Malin, Janos Sztipanovits
      Pages 115-117
    2. Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown et al.
      Pages 118-131
    3. Michael Hafner, Mukhtiar Memon, Muhammad Alam
      Pages 132-144
  7. Model-Driven Engineering, Verification and Validation

  8. Ocl4All: Modelling Systems with OCL

    1. David Akehurst, Martin Gogolla, Steffen Zschaler
      Pages 176-181

Other volumes

  1. 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings
  2. Models in Software Engineering
    Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).

The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

 

Keywords

design model modeling software engineering structured analysis validation verification

Bibliographic information

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