Advertisement

Models in Software Engineering

Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

  • Editors
  • Thomas Kühne
Conference proceedings MODELS 2006

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

Table of contents

  1. Front Matter
  2. W1 – Aspect-Oriented Modeling

    1. Jörg Kienzle, Dominik Stein, Walter Cazzola, Jeff Gray, Omar Aldawud, Tzilla Elrad
      Pages 1-5
  3. W2 – Critical Systems Development

    1. Geri Georg, Siv Hilde Houmb, Robert France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens
      Pages 27-31
    2. Alexander Knapp, Jochen Wuttke
      Pages 42-51
  4. W3 – Reverse Engineering

    1. Jean-Marie Favre, Dragan Gašević, Ralf Lämmel, Andreas Winter
      Pages 52-55
    2. Juergen Rilling, Yonggang Zhang, Wen Jun Meng, René Witte, Volker Haarslev, Philippe Charland
      Pages 56-65
  5. W4 – Quality in Modeling

    1. Ludwik Kuzniarz, Jean Louis Sourouille, Miroslaw Staron
      Pages 76-79
    2. Ksenia Ryndina, Jochen M. Küster, Harald Gall
      Pages 80-90
    3. Bart Du Bois, Christian F. J. Lange, Serge Demeyer, Michel R. V. Chaudron
      Pages 91-100
  6. W5 – Advanced User Interfaces

    1. Andreas Pleuß, Jan van den Bergh, Stefan Sauer, Heinrich Hußmann, Alexander Bödcher
      Pages 101-105
    2. Steffen Lohmann, J. Wolfgang Kaltz, Jürgen Ziegler
      Pages 116-125
  7. W6 – Real-Time and Embedded Systems

    1. Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
      Pages 126-130
    2. Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen
      Pages 131-142
    3. Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt
      Pages 143-151
  8. W7 – OCL

    1. Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer
      Pages 152-158
    2. Kirsten Berkenkötter
      Pages 159-168
    3. Michael Altenhofen, Thomas Hettel, Stefan Kusterer
      Pages 169-178
  9. W8 – Integrating MDA and V&V

    1. Benoît Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß
      Pages 179-181
    2. Gregor Engels, Baris Güldali, Marc Lohmann
      Pages 182-192
    3. Jochen M. Küster, Mohamed Abd-El-Razik
      Pages 193-204
  10. W9 – Model Size Metrics

    1. Frank Weil, Andrij Neczwid
      Pages 205-210
    2. Christian F. J. Lange
      Pages 211-216
    3. Jacqueline A. McQuillan, James F. Power
      Pages 217-226
  11. W10 – Models@run.time

    1. Nelly Bencomo, Gordon Blair, Robert France
      Pages 227-231
    2. Fábio Moreira Costa, Lucas Luiz Provensi, Frederico Forzani Vaz
      Pages 232-241
  12. W11 – Multi-Paradigm Modeling

    1. Holger Giese, Tihamér Levendovszky, Hans Vangheluwe
      Pages 252-262
    2. Thomas Reiter, Kerstin Altmanninger, Werner Retschitzegger
      Pages 263-276
  13. S1 – Doctoral Symposium

  14. S2 – Educators Symposium

  15. S3 – A Formal Semantics for UML

    1. Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
      Pages 318-323
    2. Andrei Kirshin, Dolev Dotan, Alan Hartman
      Pages 324-326
    3. Ingolf H. Krüger, Massimiliano Menarini
      Pages 327-328
    4. Christian Soltenborn, Gregor Engels
      Pages 329-330
  16. Back Matter

Other volumes

  1. 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
  2. Models in Software Engineering
    Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

About these proceedings

Keywords

Augmented Reality Exception Unified Modeling Language (UML) aspect-oriented modeling design embedded systems formal methods formal semantics generic programming meta-modeling model checking model-based software architecture model-driven software development modeling security

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-69489-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69488-5
  • Online ISBN 978-3-540-69489-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site