T. Yue and S. Ali:
Bridging the Gap between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies

L. Briand, Y. Labiche and Y. Liu:
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing^*)

A. Radjenovic, N. Matragkas, R. Paige, A. Motta, M. Rossi, L. Baresi and D. Kolovos:
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems^#)

A. Votintseva, P. Witschel, N. Regnat and P. E. Stelzig:
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings

G.Varró, A. Anjorin and A. Schürr:
Unification of Compiled and Interpreter-Based Pattern Matching Techniques

R. Etemaadi and M. Chaudron:
A Model-based Tool for Automated Quality-driven Design of System Architectures

V. Acretoaie and H. Störrle:
MQ-2: A Tool for Prolog-based Model Querying

C. Vogel, H. Koziolek, T. Goldschmidt and E. Burger:
Rapid Performance Modeling and Reasoning with UCM2PCM

D. Redlich, S. Platz, T. Molka and W. Gilani:
MDE in Practice: Process-centric Performance Prediction via Simulation in Real-time

G. Botterweck and Andreas Pleuss:
S2T2-Configurator: Interactive Support for Configuration of Large Feature Models.

The tool sessions last until 15⁰⁰. There will be a special open-ended coffee break after this session in front of the lecture hall (Foyer), where the tools and posters will be demonstrated — up to the excursion.

R.-H. Pfeiffer and A. Wasowski:
TexMo: A Multi-Language Development Environment^*)

I. Rath, Á. Hegedüs and D. Varro:
Derived Features for EMF by Integrating Advanced Model Queries

R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. Briand:
Model-Based Automated and Guided Configuration of Embedded Software Systems

F. Burton, R. Paige, D. Kolovos, L. Rose and S. Poulding:
Solving Acquisition Problems using Model-Driven Engineering and Model Transformation