Cover Image
Read Now

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers

Bibliographic Details
Other Authors: Ghosh, Sudipto (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Programming and Software Engineering
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Computer Simulation
Electronic Data Processing / Management
Computer Modelling
It Operations
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Doctoral Symposium
  • The Doctoral Symposium at MODELS 2009
  • Catch Me If You Can – Debugging Support for Model Transformations
  • A Coordination-Based Model-Driven Method for Parallel Application Development
  • Educators’ Symposium
  • Essentials of the 5th Educators’ Symposium at MODELS 2009
  • Teaching Object-Oriented Modeling and UML to Various Audiences
  • Teaching Modeling: Why, When, What?
  • Workshop — ACES-MB
  • Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
  • Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems
  • Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration
  • Workshop — AOM
  • Report of the 14th International Workshop on Aspect-Oriented Modeling
  • HiLA: High-Level Aspects for UML State Machines
  • Workshop — Model@run.time
  • 4th International Workshop on Models@run.time
  • Incremental Model Synchronization for Efficient Run-Time Monitoring
  • Generating Synchronization Engines between Running Systems and Their Model-Based Views
  • Workshop — MoDeVVa
  • MoDeVVa Workshop Summary
  • From UML to Alloy and Back Again
  • Generating Class Contracts from Deterministic UML Protocol Statemachines
  • Workshop — MoDSE-MCCM
  • “Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM)
  • Model Patches in Model-Driven Engineering
  • Limitations of Automating Model Migration in Response to Metamodel Adaptation
  • Workshop — MPM
  • Recent Advances in Multi-paradigm Modeling
  • Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition
  • Explicit Transformation Modeling
  • Workshop — OCL
  • Ninth International Workshop on the Pragmatics of OCL and Other TextualSpecification Languages
  • Extending OCL with Null-References
  • On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
  • Workshop — NFPinDSML
  • The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009)
  • On the Specification of Non-functional Properties of Systems by Observation
  • Modeling Heterogeneous Points of View with ModHel’X
  • Workshop — TWOMDE
  • Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009)
  • Towards Semantic Modeling of Network Physical Devices
  • Using Ontology Reasoning for Reverse Engineering Design Patterns

Similar Items