08:40 |
-
45:
Synthesizing Decentralized Components from a Variant of Live Sequence Charts
Dirk Fahland and Amir Kantor
-
2:
Optimising Model-transformations using Design Patterns
Kevin Lano and Shekoufeh Kolahdouz-Rahimi
-
16:
Translating Platform-independent Code into Natural Language Texts
Håkan Burden and Rogardt Heldal
-
21:
TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation
Raafat Zarka, Pierre-Antoine Champin, Amélie Cordier, Elöd Egyed-Zsigmond, Luc Lamontagne and Alain Mille
-
62:
A PIM-to-Code Requirements Engineering Framework
Gayane Sedrakyan and Monique Snoeck
|
10:30 |
Coffee-Break (10:30 - 10:45)
|
10:45 |
|
11:45 |
-
51:
Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages
Bernhard Hoisl, Stefan Sobernig and Mark Strembeck
-
8:
UML-based Design and Verification Method for Developing Dependable Context-aware Systems
Naoyasu Ubayashi and Yasutaka Kamei
-
26:
Visualizing OCL Constraint Patterns with VOCL
Ali Hamie
-
48:
Engineering Model Recommender Foundations - From Class Completion to Model Recommendations
Andreas Ganser and Horst Lichter
-
54:
Composition of Domain Specific Modeling Languages - An Exploratory Study
Edmilson Campos, Marília Freire, Uirá Kulesza, Adorilson Bezerra and Eduardo Aranha
|
11:45 |
-
9:
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel and Antonio Vallecillo
-
8:
Model-based Adaptation of Cloud Computing Applications
Christian Inzinger, Benjamin Satzger, Philipp Leitner, Waldemar Hummer and Schahram Dustdar
-
3:
Development of Adaptive Multi-cloud Applications - A Model-Driven Approach
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo and Carlos Canal
|
13:35 |
Lunch (13:35 - 14:35)
|
14:35 |
-
23:
Challenges of Model-driven Modernization - An Agile Perspective
Stavros Stavru, Iva Krasteva and Sylvia Ilieva
-
4:
A Code Merger to Support Reverse Engineering Towards Model-driven Software Development
Oliver Haase, Nikolaus Moll and Paul Zerr
-
40:
UML Class Diagram Simplification - A Survey for Improving Reverse Engineered Class Diagram Comprehension
Hafeez Osman, Arjan van Zadelhoff and Michel R. V. Chaudron
-
53:
A MDE Framework for Semi-automatic Development of Web Applications
Javier Solis, Hasdai Pacheco, Karen Najera and Hugo Estrada
-
63:
Why Do We Not Learn from Defects? - Towards Defect-Driven Software Process Improvement
Niklas Mellegård, Miroslaw Staron and Fredrik Törner
|
14:35 |
-
4:
Model Driven Engineering of Cross-Layer Monitoring and Adaptation
Hui Song, Amit Raj, Saeed Hajebi, Siobhán Clarke and Aidan Clarke
-
7:
High Level Design of Adaptive Real-time Embedded Systems - A Survey
Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor and Mohamed Abid
|
16:25 |
Coffee-Break (16:25 - 16:40)
|
16:25 |
MODELSWARD
-
1:
A Model-driven Process for Data Transformation of Heterogeneous Data
Haïfa Nakouri and Nadia Essoussi
-
13:
Model-driven Development of Interactive Web User Interfaces with HTML5
Michael Huber and Philipp Brune
-
14:
MDE for Enterprise Application Systems
Alfonso Diez, Nga Nguyen, Fernando Díez and Enrique Chavarriaga
-
18:
Application of Model Comparison Techniques to Model Transformation Testing
Matthew Stephan and James R. Cordy
-
20:
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking
Vladimir Estivill-Castro and Rene Hexel
-
28:
A Systematic Comparison of Semantic Integration Data Storage Architectures for Multidisciplinary Systems
Estefanía Serral, Olga Kovalenko, Thomas Moser and Stefan Biffl
-
37:
A General Framework for the Development of MDD Projects
Beatriz Marín, Javier Pereira, Giovanni Giachetti, Felipe Hermosilla and Estefanía Serral
-
38:
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption
Ahmed Hammad, Hassan Mountassir and Samir Chouali
-
46:
Modular and Distributed Verification of SysML Activity Diagrams
Messaoud Rahim, Hammad Ahmed and Ioualalen Malika
-
59:
Improving Modeling with Layered UML Diagrams
Harald Störrle
-
64:
Model-based System Engineering for Fault Tree Generation and Analysis
Nataliya Yakymets, Hadi Jaber and Agnes Lanusse
-
68:
A Model-based Software Technology Proposal
Vahur Kotkas, Jaan Penjam, Ahto Kalja and Enn Tyugu
|
19:00 |
Social Event (19:00 - 23:30)
|