Models in Software Engineering

Model Based Architecting and Construction of Embedded Systems (ACES-MB).- Model Based Architecting and Construction of Embedded Systems.- Translating AADL into BIP - Application to the Verification of Real-Time Systems.- Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.- Challenges in Model Driven Software Engineering (CHAMDE).- Challenges in Model-Driven Software Engineering.- The Grand Challenge of Scalability for Model Driven Engineering.- MDE Adoption in Industry: Challenges and Success Criteria.- Behavior, Time and Viewpoint Consistency: Three Challenges for MDE.- Empirical Studies of Model Driven Engineering (ESMDA).- Embedded System Construction – Evaluation of Model-Driven and Component-Based Development Approaches.- Assessing the Power of a Visual Modeling Notation – Preliminary Contemplations on Designing a Test –.- Models@runtime.- Third International Workshop on Models@run.time.- Modeling and Validating Dynamic Adaptation.- Model-Based Traces.- Model Co-evolution and Consistency Management (MCCM).- Model Co-evolution and Consistency Management (MCCM’08).- On Integrating OCL and Triple Graph Grammars.- Triple Graph Grammars or Triple Graph Transformation Systems?.- Model-Driven Web Engineering (MDWE).- Model-Driven Web Engineering (MDWE 2008).- Model Transformations for Performability Analysis of Service Configurations.- A Transformation Framework to Bridge Domain Specific Languages to MDA.- Modeling Security (MODSEC).- First International Modeling Security Workshop.- Security Requirements Elicitation Using Method Weaving and Common Criteria.- Model-Based Design of Trustworthy Health Information Systems (MOTHIS).- Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008.- Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models.- Ontology-Based Assessment of Functional Redundancy in Health Information Systems.- Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML).- The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).- FPTC: Automated Safety Analysis for Domain-Specific Languages.- From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach.- OCL Tools: From Implementation to Evaluation and Comparison (OCL).- Eighth International Workshop on OCL Concepts and Tools.- Shortcomings of the Embedding of OCL into QVT ImperativeOCL.- Optimization Patterns for OCL-Based Model Transformations.- Quality in Modeling (QIM).- Third International Workshop on Quality in Modeling.- Description and Implementation of a UML Style Guide.- Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study.- Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE).- First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008).- Using an Ontology to Suggest Software Design Patterns Integration.- Using Ontologies in the Domain Analysis of Domain-Specific Languages.- Doctoral Symposium.- Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture.- DSL Tool Development with Transformations and Static Mappings.- Educational Symposium.- Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008.- The UML Is More Than Boxes and Lines.- Automatic Checklist Generation for the Assessment of UML Models.- Research Project Symposium.- MODELS Research Projects Symposium.