Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers: Lecture Notes in Computer Science, cartea 4364

W1 – 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.