|
|
|
The Value in Muddling Around Modelling (Abstract) |
|
|
1 | (1) |
|
|
|
1 | (46) |
|
Towards Quality Driven Exploration of Model Transformation Spaces |
|
|
2 | (15) |
|
|
|
|
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation |
|
|
17 | (15) |
|
|
|
|
Lazy Execution of Model-to-Model Transformations |
|
|
32 | (15) |
|
|
|
|
|
|
|
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework |
|
|
47 | (15) |
|
|
|
62 | (15) |
|
|
|
|
|
Morsa: A Scalable Approach for Persisting and Accessing Large Models |
|
|
77 | (16) |
|
|
|
|
|
|
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain |
|
|
93 | (15) |
|
|
|
|
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms |
|
|
108 | (15) |
|
|
|
|
|
Aspect-Oriented Modelling for Distributed Systems |
|
|
123 | (15) |
|
|
|
Analysis and Comprehension of Models |
|
|
|
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments |
|
|
138 | (15) |
|
|
|
|
|
|
Semantically Configurable Consistency Analysis for Class and Object Diagrams |
|
|
153 | (15) |
|
|
|
|
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension |
|
|
168 | (15) |
|
|
|
|
|
|
|
|
|
|
Engineering Android Applications Based on UML Activities |
|
|
183 | (15) |
|
|
Domain-Specific Model Transformation in Building Quantity Take-Off |
|
|
198 | (15) |
|
|
|
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks |
|
|
213 | (15) |
|
|
|
|
|
Models for Embedded Systems |
|
|
|
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice |
|
|
228 | (15) |
|
|
|
|
Designing Heterogeneous Component Based Systems: Evaluation of Marte Standard and Enhancement Proposal |
|
|
243 | (15) |
|
|
|
|
|
Semantic Clone Detection for Model-Based Development of Embedded Systems |
|
|
258 | (15) |
|
|
|
|
|
|
Instant and Incremental QVT Transformation for Runtime Models |
|
|
273 | (16) |
|
|
|
|
|
|
|
|
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior |
|
|
289 | (15) |
|
|
|
|
|
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case |
|
|
304 | (15) |
|
|
|
|
|
|
|
Model-Based Resource Management |
|
|
|
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches |
|
|
319 | (15) |
|
|
|
|
|
A Model-Based and Automated Approach to Size Estimation of Embedded Software Components |
|
|
334 | (15) |
|
|
|
MDE to Manage Communications with and between Resource-Constrained Systems |
|
|
349 | (15) |
|
|
|
|
|
Analysis of Class Diagrams |
|
|
|
Diagram Definition: A Case Study with the UML Class Diagram |
|
|
364 | (15) |
|
|
|
Reducing Multiplicities in Class Diagrams |
|
|
379 | (15) |
|
|
|
|
|
|
Creating Models for Simulating the Face (Abstract) |
|
|
394 | (1) |
|
|
Verification and Validation 1 |
|
|
|
EUnit: A Unit Testing Framework for Model Management Tasks |
|
|
395 | (15) |
|
|
|
|
|
|
Verifying UML-RT Protocol Conformance Using Model Checking |
|
|
410 | (15) |
|
|
|
|
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines |
|
|
425 | (15) |
|
|
|
|
|
|
|
Constraint-Based Model Refactoring |
|
|
440 | (15) |
|
|
Supporting Design Model Refactoring for Improving Class Responsibility Assignment |
|
|
455 | (15) |
|
|
|
|
|
|
|
Vision Paper: The Essence of Structural Models |
|
|
470 | (10) |
|
|
|
Vision Paper: Towards Model-Based Energy Testing |
|
|
480 | (10) |
|
|
|
|
|
Vision Paper: Make a Difference! (Semantically) |
|
|
490 | (11) |
|
|
|
|
|
|
Automatic Derivation of Utility Functions for Monitoring Software Requirements |
|
|
501 | (16) |
|
|
|
Logic-Based Model-Level Software Development with F-OML |
|
|
517 | (16) |
|
|
|
Formal Verification of QVT Transformations for Code Generation |
|
|
533 | (15) |
|
|
|
|
|
|
Model-Based (Mechanical) Product Design |
|
|
548 | (15) |
|
|
|
|
Applying a Model-Based Approach to IT Systems Development Using SysML Extension |
|
|
563 | (15) |
|
|
|
|
|
|
|
Early Experience with Agile Methodology in a Model-Driven Approach |
|
|
578 | (13) |
|
|
|
|
|
|
Finding Models in Model-Based Development (Abstract) |
|
|
591 | (1) |
|
|
|
|
|
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited |
|
|
592 | (16) |
|
|
|
|
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? |
|
|
608 | (15) |
|
|
|
|
|
|
|
|
Towards a General Composition Semantics for Rule-Based Model Transformation |
|
|
623 | (15) |
|
|
|
|
|
Verification and Validation 2 |
|
|
|
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible |
|
|
638 | (15) |
|
|
|
|
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs |
|
|
653 | (15) |
|
|
|
|
Correctness of Model Synchronization Based on Triple Graph Grammars |
|
|
668 | (15) |
|
|
|
|
|
|
|
Model Integration and Collaboration |
|
|
|
A Toolchain for the Detection of Structural and Behavioral Latent System Properties |
|
|
683 | (16) |
|
|
|
|
|
Defining Marte's VSL as an Extension of Alf |
|
|
699 | (15) |
|
|
|
|
Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models |
|
|
714 | (15) |
|
|
Author Index |
|
729 | |