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.

Buy it now

Buying options

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

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

Table of contents (42 papers)

  1. S3 – A Formal Semantics for UML

    1. A UML Simulator Based on a Generic Model Execution Engine

      • Andrei Kirshin, Dolev Dotan, Alan Hartman
      Pages 324-326
    2. Queries and Constraints: A Comprehensive Semantic Model for UML2

      • Ingolf H. Krüger, Massimiliano Menarini
      Pages 327-328
    3. Analysis of UML Activities with Dynamic Meta Modeling Techniques

      • Christian Soltenborn, Gregor Engels
      Pages 329-330
  2. Back Matter

Other Volumes

  1. Models in Software Engineering

Bibliographic Information

Buy it now

Buying options

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