You have Guest access.
Log In
Michel R.V. Chaudron
Front matter
1-4
Model Based Architecting and Construction of Embedded Systems
5-19
Translating AADL into BIP - Application to the Verification of Real-Time Systems
20-34
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation
35-47
Challenges in Model-Driven Software Engineering
48-53
The Grand Challenge of Scalability for Model Driven Engineering
54-59
MDE Adoption in Industry: Challenges and Success Criteria
60-65
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
66-77
Embedded System Construction – Evaluation of Model-Driven and Component-Based Development Approaches
78-89
Assessing the Power of a Visual Modeling Notation – Preliminary Contemplations on Designing a Test –
90-96
Third International Workshop on Models@run.time
97-108
Modeling and Validating Dynamic Adaptation
109-119
Model-Based Traces
120-123
Model Co-evolution and Consistency Management (MCCM’08)
124-137
On Integrating OCL and Triple Graph Grammars
138-150
Triple Graph Grammars or Triple Graph Transformation Systems? A Case Study from Software Configuration Management
151-152
Model-Driven Web Engineering (MDWE 2008)
153-166
Model Transformations for Performability Analysis of Service Configurations
167-180
A Transformation Framework to Bridge Domain Specific Languages to MDA
181-184
First International Modeling Security Workshop
185-196
Security Requirements Elicitation Using Method Weaving and Common Criteria
197-198
Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008
199-212
Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models
213-226
Ontology-Based Assessment of Functional Redundancy in Health Information Systems
227-228
The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008)
229-242
FPTC: Automated Safety Analysis for Domain-Specific Languages
243-256
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach
257-262
Eighth International Workshop on OCL Concepts and Tools
263-272
Shortcomings of the Embedding of OCL into QVT ImperativeOCL
273-284
Optimization Patterns for OCL-Based Model Transformations
285-290
Third International Workshop on Quality in Modeling
291-302
Description and Implementation of a UML Style Guide
303-313
Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study
314-317
First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008)
318-331
Using an Ontology to Suggest Software Design Patterns Integration
332-342
Using Ontologies in the Domain Analysis of Domain-Specific Languages
343-355
Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture
356-370
DSL Tool Development with Transformations and Static Mappings
371-374
Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008
375-386
The UML Is More Than Boxes and Lines
387-399
Automatic Checklist Generation for the Assessment of UML Models
400-401
MODELS Research Projects Symposium
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info