| 1 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
A Model-driven Process for Data Transformation of Heterogeneous Data |
| 2 |
20 min |
Wednesday 20 |
Session 2 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
Optimising Model-transformations using Design Patterns |
| 4 |
20 min |
Wednesday 20 |
Session 4 |
14:35 - 16:25 |
Modeling Languages, Tools and Architectures |
MR.06 |
A Code Merger to Support Reverse Engineering Towards Model-driven Software Development |
| 8 |
20 min |
Wednesday 20 |
Session 3 |
11:45 - 13:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
UML-based Design and Verification Method for Developing Dependable Context-aware Systems |
| 9 |
20 min |
Thursday 21 |
Session 5 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
Modelling and Enterprises - The Past, the Present and the Future |
| 10 |
20 min |
Tuesday 19 |
Session 1 |
16:00 - 18:10 |
Modeling Languages, Tools and Architectures |
MR.06 |
Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework |
| 11 |
20 min |
Thursday 21 |
Session 5 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
Towards a Meta-model of the Cloud Computing Resource Landscape |
| 12 |
30 min |
Tuesday 19 |
Session 1 |
16:00 - 18:10 |
Applications and Software Development |
MR.06 |
A Survey of Model Comparison Approaches and Applications |
| 13 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Methodologies, Processes and Platforms |
Foyer |
Model-driven Development of Interactive Web User Interfaces with HTML5 |
| 14 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Methodologies, Processes and Platforms |
Foyer |
MDE for Enterprise Application Systems |
| 16 |
20 min |
Wednesday 20 |
Session 2 |
08:40 - 10:30 |
Applications and Software Development |
MR.06 |
Translating Platform-independent Code into Natural Language Texts |
| 18 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Applications and Software Development |
Foyer |
Application of Model Comparison Techniques to Model Transformation Testing |
| 20 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking |
| 21 |
20 min |
Wednesday 20 |
Session 2 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation |
| 23 |
30 min |
Wednesday 20 |
Session 4 |
14:35 - 16:25 |
Methodologies, Processes and Platforms |
MR.06 |
Challenges of Model-driven Modernization - An Agile Perspective |
| 24 |
20 min |
Thursday 21 |
Session 6 |
10:45 - 12:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS |
| 26 |
20 min |
Wednesday 20 |
Session 3 |
11:45 - 13:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Visualizing OCL Constraint Patterns with VOCL |
| 28 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
A Systematic Comparison of Semantic Integration Data Storage Architectures for Multidisciplinary Systems |
| 31 |
20 min |
Tuesday 19 |
Session 1 |
16:00 - 18:10 |
Methodologies, Processes and Platforms |
MR.06 |
Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval |
| 37 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Methodologies, Processes and Platforms |
Foyer |
A General Framework for the Development of MDD Projects |
| 38 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption |
| 40 |
20 min |
Wednesday 20 |
Session 4 |
14:35 - 16:25 |
Applications and Software Development |
MR.06 |
UML Class Diagram Simplification - A Survey for Improving Reverse Engineered Class Diagram Comprehension |
| 41 |
30 min |
Thursday 21 |
Session 6 |
10:45 - 12:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
A Meta-model for Tests of Avionics Embedded Systems |
| 42 |
30 min |
Tuesday 19 |
Session 1 |
16:00 - 18:10 |
Modeling Languages, Tools and Architectures |
MR.06 |
Consistency of UML Class and Statechart Diagrams with State Invariants |
| 45 |
30 min |
Wednesday 20 |
Session 2 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
Synthesizing Decentralized Components from a Variant of Live Sequence Charts |
| 46 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
Modular and Distributed Verification of SysML Activity Diagrams |
| 48 |
20 min |
Wednesday 20 |
Session 3 |
11:45 - 13:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Engineering Model Recommender Foundations - From Class Completion to Model Recommendations |
| 49 |
30 min |
Tuesday 19 |
Session 1 |
16:00 - 18:10 |
Modeling Languages, Tools and Architectures |
MR.06 |
Making Sense to Modelers - Presenting UML Class Model Differences in Prose |
| 50 |
20 min |
Thursday 21 |
Session 6 |
10:45 - 12:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Systematic Development of Control Designs via Formal Refinement |
| 51 |
30 min |
Wednesday 20 |
Session 3 |
11:45 - 13:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages |
| 52 |
30 min |
Thursday 21 |
Session 5 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification |
| 53 |
20 min |
Wednesday 20 |
Session 4 |
14:35 - 16:25 |
Methodologies, Processes and Platforms |
MR.06 |
A MDE Framework for Semi-automatic Development of Web Applications |
| 54 |
20 min |
Wednesday 20 |
Session 3 |
11:45 - 13:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Composition of Domain Specific Modeling Languages - An Exploratory Study |
| 59 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
Improving Modeling with Layered UML Diagrams |
| 61 |
20 min |
Thursday 21 |
Session 6 |
10:45 - 12:35 |
Modeling Languages, Tools and Architectures |
MR.06 |
Static Analysis and Testing of Executable DSL Specification |
| 62 |
20 min |
Wednesday 20 |
Session 2 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
A PIM-to-Code Requirements Engineering Framework |
| 63 |
20 min |
Wednesday 20 |
Session 4 |
14:35 - 16:25 |
Applications and Software Development |
MR.06 |
Why Do We Not Learn from Defects? - Towards Defect-Driven Software Process Improvement |
| 64 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Modeling Languages, Tools and Architectures |
Foyer |
Model-based System Engineering for Fault Tree Generation and Analysis |
| 65 |
20 min |
Thursday 21 |
Session 5 |
08:40 - 10:30 |
Modeling Languages, Tools and Architectures |
MR.06 |
Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation |
| 68 |
Poster |
Wednesday 20 |
Poster Session 1 |
16:25 - 17:25 |
Applications and Software Development |
Foyer |
A Model-based Software Technology Proposal |