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 ofTrustworthy 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