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

Author:   Michel R. V. Chaudron
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2009 ed.
Volume:   5421
ISBN:  

9783642016479


Pages:   404
Publication Date:   22 April 2009
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $237.47 Quantity:  
Add to Cart

Share |

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


Add your own review!

Overview

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 organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Full Product Details

Author:   Michel R. V. Chaudron
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2009 ed.
Volume:   5421
Dimensions:   Width: 15.50cm , Height: 2.30cm , Length: 23.50cm
Weight:   0.640kg
ISBN:  

9783642016479


ISBN 10:   3642016472
Pages:   404
Publication Date:   22 April 2009
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List