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