Models in software engineering

InhaltsverzeichnisW1 – Aspect-Oriented Modeling.9th International Workshop on Aspect-Oriented Modeling.Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study.Join Point Patterns: A High-Level Join Point Selection Mechanism.W2 – Critical Systems Development.Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report.Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.Model Checking of UML 2.0 Interactions.W3 – Reverse Engineering.3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies.A Unified Ontology-Based Process Model for Software Maintenance and Comprehension.Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL.W4 – Quality in Modeling.The 1st Workshop on Quality in Modeling.Consistency of Business Process Models and Object Life Cycles.A Qualitative Investigation of UML Modeling Conventions.W5 – Advanced User Interfaces.Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI’06 Workshop Report.A Model-Driven Approach to the Engineering of Multiple User Interfaces.Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces.W6 – Real-Time and Embedded Systems.Modelling and Analysis of Real Time and Embedded Systems – Using UML.Time Exceptions in Sequence Diagrams.Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems.W7 – OCL.OCL for (Meta-)Models in Multiple Application Domains.OCL-Based Validation of a Railway Domain Profile.OCL Support in an Industrial Environment.W8 – Integrating MDA and V& V.Report on the 3rd MoDeVa Workshop – Model Design and Validation.Towards Model-Driven Unit Testing.Validation of Model Transformations – First Experiences Using a White Box Approach.W9 – Model Size Metrics.Summary of the 2006 Model Size Metrics Workshop.Model Size Matters.On the Application of Software Metrics to UML Models.W10 – Models@run. time.Summary of the Workshop Models@run. time at MoDELS 2006.Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware.Applying OMG D& C Specification and ECA Rules for Autonomous Distributed Component-Based Systems.W11 – Multi-Paradigm Modeling.Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools.Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages.S1 – Doctoral Symposium.MoDELS 2006 Doctoral Symposium.Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems.S2 – Educators Symposium.Educators’ Symposium at MoDELS 2006.If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program.Teaching Software Modeling in a Simulated Project Environment.Repository for Model Driven Development (ReMoDD).S3 – A Formal Semantics for UML.2 nd UML 2 Semantics Symposium: Formal Semantics for UML.A UML Simulator Based on a Generic Model Execution Engine.Queries and Constraints: A Comprehensive Semantic Model for UML2.Analysis of UML Activities with Dynamic Meta Modeling Techniques.