Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chaudron, Michel R. V. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5421
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer simulation.; Management information systems.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.; Management of Computing and Information Systems.

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are o...

Πίνακας περιεχομένων:

• 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 [e-mail]
• 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.