Skip to main content
  • Conference proceedings
  • © 2007

Models in Software Engineering

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

Editors:

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2006.

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-69489-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (42 papers)

  1. W7 – OCL

    1. OCL-Based Validation of a Railway Domain Profile

      • Kirsten Berkenkötter
      Pages 159-168
    2. OCL Support in an Industrial Environment

      • Michael Altenhofen, Thomas Hettel, Stefan Kusterer
      Pages 169-178
  2. W8 – Integrating MDA and V&V

    1. Report on the 3rd MoDeVa Workshop – Model Design and Validation

      • Benoît Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß
      Pages 179-181
    2. Towards Model-Driven Unit Testing

      • Gregor Engels, Baris Güldali, Marc Lohmann
      Pages 182-192
    3. Validation of Model Transformations – First Experiences Using a White Box Approach

      • Jochen M. Küster, Mohamed Abd-El-Razik
      Pages 193-204
  3. W9 – Model Size Metrics

    1. Summary of the 2006 Model Size Metrics Workshop

      • Frank Weil, Andrij Neczwid
      Pages 205-210
    2. Model Size Matters

      • Christian F. J. Lange
      Pages 211-216
    3. On the Application of Software Metrics to UML Models

      • Jacqueline A. McQuillan, James F. Power
      Pages 217-226
  4. W10 – Models@run.time

    1. Summary of the Workshop Models@run.time at MoDELS 2006

      • Nelly Bencomo, Gordon Blair, Robert France
      Pages 227-231
    2. Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware

      • Fábio Moreira Costa, Lucas Luiz Provensi, Frederico Forzani Vaz
      Pages 232-241
  5. W11 – Multi-Paradigm Modeling

    1. Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools

      • Holger Giese, Tihamér Levendovszky, Hans Vangheluwe
      Pages 252-262
    2. Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages

      • Thomas Reiter, Kerstin Altmanninger, Werner Retschitzegger
      Pages 263-276
  6. S1 – Doctoral Symposium

    1. MoDELS 2006 Doctoral Symposium

      • Gabriela Arévalo, Robert Pettit
      Pages 277-277
  7. S2 – Educators Symposium

    1. Educators’ Symposium at MoDELS 2006

      • Ludwik Kuzniarz
      Pages 288-290
    2. Teaching Software Modeling in a Simulated Project Environment

      • Robert Szmurło, Michał Śmiałek
      Pages 301-310
    3. Repository for Model Driven Development (ReMoDD)

      • Robert France, Jim Bieman, Betty H. C. Cheng
      Pages 311-317
  8. S3 – A Formal Semantics for UML

    1. 2 nd UML 2 Semantics Symposium: Formal Semantics for UML

      • Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
      Pages 318-323

Other Volumes

  1. Model Driven Engineering Languages and Systems

    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

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

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-69489-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 89.99
Price excludes VAT (USA)