Ausgabe 3/2016
Inhalt (13 Artikel)
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
- Open Access
- Expert Voice
Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
Comprehensive analysis of FBD test coverage criteria using mutants
- Regular Paper
Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae
Model transformation intents and their properties
- Regular Paper
Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
Enhanced graph rewriting systems for complex software domains
- Regular Paper
Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira
Turning event logs into process movies: animating what has really happened
- Regular Paper
Massimiliano de Leoni, Suriadi Suriadi, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst
Query-driven soft traceability links for models
- Regular Paper
Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
Empirically evaluating OCL and Java for specifying constraints on UML models
- Regular Paper
Tao Yue, Shaukat Ali
Least-change bidirectional model transformation with QVT-R and ATL
- Regular Paper
Nuno Macedo, Alcino Cunha
Clafer: unifying class and feature modeling
- Regular Paper
Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
- Regular Paper
Jung Ho Bae, Heung Seok Chae
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
- Regular Paper
Johan Fabry, Arturo Zambrano, Silvia Gordillo
Feature-based classification of bidirectional transformation approaches
- Regular Paper
Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
