08:45 |
Welcome Desk & Registration (08:45 - 09:15)
|
09:15 |
|
10:15 |
-
4:
Parsing Abstract Syntax Graphs with ModelCC
Luis Quesada, Fernando Berzal and Juan-Carlos Cubero
-
5:
A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings
Luis Quesada, Fernando Berzal and Juan-Carlos Cubero
-
8:
Model-Based Systems Engineering Tools - Devoloping the GUILTE System
Ana Luísa Ramos and José Vasconcelos Ferreira
-
9:
Model Matching for Model Transformation - A Meta-heuristic Approach
Hajer Saada, Marianne Huchard, Clémentine Nebut and Houari Sahraoui
-
16:
Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems
José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen and Peter Gorm Larsen
-
18:
A Test-Driven Approach for Developing Software Languages
Omar Badreddin, Andrew Forward and Timothy C. Lethbridge
-
22:
Investigation and Evaluation of UML Action Languages
Omar Badreddin, Timothy C. Lethbridge and Andrew Forward
-
29:
A Recipe for Tool Interoperability
Andreas Baumgart and Christian Ellen
-
43:
Semantic Approach to Automatically Defined Model Transformation
Tiexin Wang, Sebastien Truptil and Frederick Benaben
-
44:
Verbalization of Business Rules - Application to OCL Constraints in the Utility Domain
Rayhana Baghli and Bruno Traverson
-
45:
Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages
Bernhard Hoisl, Stefan Sobernig and Mark Strembeck
-
55:
The Eclipse Java Metamodel - Scaffolding Software Engineering Research on Java Projects with MDE Techniques
Pedro Janeiro Coimbra and Fernando Brito e Abreu
-
65:
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions
Ahmed Kheldoun and Malika Ioualalen
-
70:
iArch - An IDE for Supporting Abstraction-aware Design Traceability
Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai and Yasutaka Kamei
-
71:
An Approach to Class Diagram Design
Chebanyuk Elena
-
74:
A Deployment-oriented Development Process based on Context Variability Modeling
Ka Chun Anthony Lee, Maria-Teresa Segarra and Stephane Guelec
-
75:
Resourcebus - A New Substrate for Model-driven Creations
Petr C. Smolik and Pavel Vitkovsky
-
81:
Integrating Testing into Agile Software Development Processes
R. van den Broek, M. M. Bonsangue, M. Chaudron and H. van Merode
-
83:
Toward Evolution Models for Data Warehouses
Saïd Taktak, Jamel Feki and Gilles Zurfluh
-
89:
Domain-specific Languages as Tools for Teaching 3D Graphics
Kęsik Jacek, Nowakowski Kamil and Żyła Kamil
|
10:15 |
Short Talks on PhD advisory
Participants:
Fernando Brito e Abreu, Colin Atkinson, Silvia Abrahão and Miguel Goulão
|
11:00 |
Coffee-Break (11:00 - 11:15)
|
11:15 |
-
2:
Using the Base Semantics given by fUML for Verification
Alessandro Gerlinger Romero, Klaus Schneider and Maurício Gonçalves Vieira Ferreira
-
27:
An EMF-based Toolkit for Creation of Domain-specific Data Services
Andreas Bender, Stefan Bozic and Ivan Kondov
-
32:
Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach
Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker and Sabine Teufl
-
50:
SWB Process - A Business Process Management System driven by Semantic Technologies
Hasdai Pacheco, Karen Najera, Hugo Estrada and Javier Solis
-
87:
Staged Model-Driven Generators - Shifting Responsibility for Code Emission to Embedded Metaprograms
Yannis Lilis, Anthony Savidis and Yannis Valsamakis
-
11:
Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML
Jérémie Tatibouët, Arnaud Cuccuru, Sébastien Gérard and François Terrier
-
17:
Model Composition for Biological Mathematical Systems
Mandeep Gill, Steve McKeever and David Gavaghan
-
64:
Key Features for a Successful Model-Driven Development Tool
Beatriz Marín, Andrés Salinas, Juan Morandé, Giovanni Giachetti and Jose De la Vara
-
78:
An Approach based on SysML and SystemC to Simulate Complex Systems
Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir and Bruno Tatibouet
|
13:15 |
Lunch (13:15 - 14:45)
|
14:45 |
-
28:
A Graph-based Algorithm for Three-way Merging of Ordered Collections in EMF Models
Felix Schwägerl, Sabrina Uhrig and Bernhard Westfechtel
-
34:
A Domain Specific Language for Stepwise Design of Software Architectures
Fabian Gilson and Vincent Englebert
-
60:
Signature Required - Making Simulink Data Flow and Interfaces Explicit
Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven Postma and Vera Pantelic
-
63:
Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling
Sabine Winetzhammer and Bernhard Westfechtel
-
1:
Secure Web Engineering Supported by an Evaluation Framework - Preliminary Report on a Web Engineering Approach for Secure Applications Supported by a Conceptual Evaluation Framework for Secure Systems Engineering
Marianne Busch
-
2:
A Collaborative Platform for Software Evolution Visualization - Leveraging Meta-model Driven Measurements with Big Data Strengths
João Carlos Caldeira
- Discussion
|
|
Coffee-Break (16:45 - 17:00)
|
17:00 |
|
19:00 |
Social Event (19:00 - 23:30)
|