| 2 |
30 min |
Wednesday 8 |
Session 3 |
11:15 - 13:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Using the Base Semantics given by fUML for Verification |
| 4 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Parsing Abstract Syntax Graphs with ModelCC |
| 5 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings |
| 7 |
30 min |
Tuesday 7 |
Session 1 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven Engineering |
| 8 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Model-Based Systems Engineering Tools - Devoloping the GUILTE System |
| 9 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Model Matching for Model Transformation - A Meta-heuristic Approach |
| 11 |
20 min |
Wednesday 8 |
Session 3a |
11:15 - 13:15 |
Modeling Languages, Tools and Architectures |
Castelo V |
Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML |
| 14 |
20 min |
Thursday 9 |
Session 6 |
15:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Pattern-based Mapping of OCL Specifications to JML Contracts |
| 15 |
20 min |
Tuesday 7 |
Session 1 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Case Study of Combining Compositional and Object-oriented Software Development |
| 16 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems |
| 17 |
20 min |
Wednesday 8 |
Session 3a |
11:15 - 13:15 |
Modeling Languages, Tools and Architectures |
Castelo V |
Model Composition for Biological Mathematical Systems |
| 18 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
A Test-Driven Approach for Developing Software Languages |
| 19 |
20 min |
Thursday 9 |
Session 5 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Enhanced Code Generation from UML Composite State Machines |
| 20 |
20 min |
Thursday 9 |
Session 6 |
15:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Defining Domain Specific Transformations in Human-Computer Interfaces Development |
| 21 |
20 min |
Thursday 9 |
Session 6 |
15:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Novel Approach to Versioning and Merging Model and Code Uniformly |
| 22 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Investigation and Evaluation of UML Action Languages |
| 24 |
20 min |
Tuesday 7 |
Session 1 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Analysis and Validation of AUTOSAR Models |
| 25 |
20 min |
Thursday 9 |
Session 6 |
15:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Framework for Model Recommenders - Requirements, Architecture and Tool Support |
| 26 |
20 min |
Thursday 9 |
Session 6 |
15:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
On Designing Recommenders for Graphical Domain Modeling Environments |
| 27 |
30 min |
Wednesday 8 |
Session 3 |
11:15 - 13:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
An EMF-based Toolkit for Creation of Domain-specific Data Services |
| 28 |
30 min |
Wednesday 8 |
Session 4 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Graph-based Algorithm for Three-way Merging of Ordered Collections in EMF Models |
| 29 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
A Recipe for Tool Interoperability |
| 31 |
20 min |
Tuesday 7 |
Session 2 |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Bottom Up SPL Design Method |
| 32 |
20 min |
Wednesday 8 |
Session 3 |
11:15 - 13:15 |
Applications and Software Development |
Castelo IV |
Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach |
| 33 |
30 min |
Tuesday 7 |
Session 2 |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Collaborative Editing of EMF/Ecore Meta-models and Models - Conflict Detection, Reconciliation, and Merging in DiCoMEF |
| 34 |
30 min |
Wednesday 8 |
Session 4 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Domain Specific Language for Stepwise Design of Software Architectures |
| 36 |
30 min |
Tuesday 7 |
Session 1a |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo V |
Specifying Trace Directives for UML Attributes and State Machines |
| 37 |
20 min |
Thursday 9 |
Session 5 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis |
| 38 |
30 min |
Tuesday 7 |
Session 2 |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo IV |
What are the used Activity Diagram Constructs? - A Survey |
| 39 |
20 min |
Tuesday 7 |
Session 1a |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo V |
A Language for Enabling Model-Driven Analysis of Business Processes |
| 41 |
30 min |
Tuesday 7 |
Session 2a |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo V |
Modeling of Tool Integration Resources with OSLC Support |
| 42 |
20 min |
Thursday 9 |
Session 5 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Validating the Functional Design of Embedded Systems against Stakeholder Intentions |
| 43 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Semantic Approach to Automatically Defined Model Transformation |
| 44 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Verbalization of Business Rules - Application to OCL Constraints in the Utility Domain |
| 45 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages |
| 46 |
30 min |
Tuesday 7 |
Session 1a |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo V |
Typing and Subtyping of Metamodels |
| 47 |
30 min |
Thursday 9 |
Session 5a |
10:00 - 12:00 |
Applications and Software Development |
Castelo V |
The MDArte Experience - Organizational Aspects Acquired from a Successful Partnership between Government and Academia using Model-Driven Development |
| 48 |
20 min |
Tuesday 7 |
Session 1 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study |
| 50 |
20 min |
Wednesday 8 |
Session 3 |
11:15 - 13:15 |
Methodologies, Processes and Platforms |
Castelo IV |
SWB Process - A Business Process Management System driven by Semantic Technologies |
| 52 |
20 min |
Thursday 9 |
Session 6 |
15:15 - 17:15 |
Modeling Languages, Tools and Architectures |
Castelo IV |
A New Flexible Method for Advising Metamodel Matching |
| 53 |
20 min |
Tuesday 7 |
Session 1a |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo V |
Automated Composition of Sequence Diagrams via Alloy |
| 55 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
The Eclipse Java Metamodel - Scaffolding Software Engineering Research on Java Projects with MDE Techniques |
| 56 |
20 min |
Thursday 9 |
Session 5 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Model-Driven GUI Generation and Navigation for Android BIS Apps |
| 59 |
20 min |
Thursday 9 |
Session 5a |
10:00 - 12:00 |
Methodologies, Processes and Platforms |
Castelo V |
A Model-based Tool for Generating Software Process Model Tailoring Transformations |
| 60 |
30 min |
Wednesday 8 |
Session 4 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Signature Required - Making Simulink Data Flow and Interfaces Explicit |
| 61 |
20 min |
Thursday 9 |
Session 5a |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo V |
A Pattern Language for Use Case Modeling |
| 63 |
20 min |
Wednesday 8 |
Session 4 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling |
| 64 |
20 min |
Wednesday 8 |
Session 3a |
11:15 - 13:15 |
Methodologies, Processes and Platforms |
Castelo V |
Key Features for a Successful Model-Driven Development Tool |
| 65 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions |
| 66 |
20 min |
Thursday 9 |
Session 5 |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Survey of Graph Rewriting applied to Model Transformations |
| 69 |
20 min |
Thursday 9 |
Session 5a |
10:00 - 12:00 |
Methodologies, Processes and Platforms |
Castelo V |
On the Support of Multi-perspective Process Models Variability for Smart Environments |
| 70 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
iArch - An IDE for Supporting Abstraction-aware Design Traceability |
| 71 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
An Approach to Class Diagram Design |
| 74 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
A Deployment-oriented Development Process based on Context Variability Modeling |
| 75 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Resourcebus - A New Substrate for Model-driven Creations |
| 76 |
20 min |
Tuesday 7 |
Session 1 |
14:45 - 16:45 |
Modeling Languages, Tools and Architectures |
Castelo IV |
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation |
| 78 |
20 min |
Wednesday 8 |
Session 3a |
11:15 - 13:15 |
Methodologies, Processes and Platforms |
Castelo V |
An Approach based on SysML and SystemC to Simulate Complex Systems |
| 80 |
30 min |
Thursday 9 |
Session 5a |
10:00 - 12:00 |
Modeling Languages, Tools and Architectures |
Castelo V |
Short Seminars on MDE Technologies - International Experiences |
| 81 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Methodologies, Processes and Platforms |
Alfama |
Integrating Testing into Agile Software Development Processes |
| 83 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Toward Evolution Models for Data Warehouses |
| 84 |
20 min |
Tuesday 7 |
Session 2a |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo V |
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems |
| 85 |
20 min |
Tuesday 7 |
Session 2a |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo V |
Extending UML Testing Profile Towards Non-functional Test Modeling |
| 87 |
30 min |
Wednesday 8 |
Session 3a |
11:15 - 13:15 |
Methodologies, Processes and Platforms |
Castelo V |
Staged Model-Driven Generators - Shifting Responsibility for Code Emission to Embedded Metaprograms |
| 89 |
Poster |
Wednesday 8 |
Poster Session 0 |
10:15 - 11:15 |
Modeling Languages, Tools and Architectures |
Alfama |
Domain-specific Languages as Tools for Teaching 3D Graphics |
| 90 |
30 min |
Tuesday 7 |
Session 2a |
17:00 - 18:30 |
Modeling Languages, Tools and Architectures |
Castelo V |
An Aspect-Oriented Model Transformation to Weave Security using CVL |