Skip to main content
SpringerLink
Log in

Models in Software Engineering

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Thomas Kühne
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: MODELS 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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

    3. Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems

      • Jérémy Dubus, Philippe Merle
      Pages 242-251

  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

    2. Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems

      • Muhammad Alam
      Pages 278-287

  7. S2 – Educators Symposium

    1. Educators’ Symposium at MoDELS 2006

      • Ludwik Kuzniarz
      Pages 288-290

    2. If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program

      • James Vallino
      Pages 291-300

    3. Teaching Software Modeling in a Simulated Project Environment

      • Robert Szmurło, Michał Śmiałek
      Pages 301-310

    4. 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. 2nd UML 2 Semantics Symposium: Formal Semantics for UML

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

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Models in Software Engineering

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation