Advertisement

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
    2. Emine G. Aydal, Richard F. Paige, Jim Woodcock
      Pages 194-205
  9. Models@run.time

    1. Nelly Bencomo, Robert France, Gordon Blair
      Pages 206-211
    2. Heather J. Goldsby, Betty H. C. Cheng, Ji Zhang
      Pages 212-224
    3. Jozef Hooman, Teun Hendriks
      Pages 225-236
  10. Multi-Paradigm Modeling: Concepts and Tools

    1. Juan de Lara, Tihamér Levendovszky, Pieter J. Mosterman, Hans Vangheluwe
      Pages 237-246
    2. Cécile Hardebolle, Frédéric Boulanger
      Pages 247-258
    3. Sagar Sen, Benoit Baudry, Hans Vangheluwe
      Pages 259-270
  11. Quality in Modeling

    1. Ludwik Kuzniarz, Lars Pareto, Jean Louis Sourrouille, Miroslaw Staron
      Pages 271-274
    2. Parastoo Mohagheghi, Vegard Dehlen
      Pages 275-286
  12. Doctoral Symposium

  13. Educators’ Symposium

    1. Miroslaw Staron
      Pages 317-319
  14. Back Matter

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