| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Clafer: unifying class and feature modeling
|
Bąk, Kacper
|
|
2014
|
15 |
3 |
p. 811-845
|
article
|
| 2 |
Comprehensive analysis of FBD test coverage criteria using mutants
|
Shin, Donghwan
|
|
2014
|
15 |
3 |
p. 631-645
|
article
|
| 3 |
Empirically evaluating OCL and Java for specifying constraints on UML models
|
Yue, Tao
|
|
2014
|
15 |
3 |
p. 757-781
|
article
|
| 4 |
Enhanced graph rewriting systems for complex software domains
|
Eichler, Cédric
|
|
2014
|
15 |
3 |
p. 685-705
|
article
|
| 5 |
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
|
Fabry, Johan
|
|
2014
|
15 |
3 |
p. 881-905
|
article
|
| 6 |
Feature-based classification of bidirectional transformation approaches
|
Hidaka, Soichiro
|
|
2015
|
15 |
3 |
p. 907-928
|
article
|
| 7 |
Least-change bidirectional model transformation with QVT-R and ATL
|
Macedo, Nuno
|
|
2014
|
15 |
3 |
p. 783-810
|
article
|
| 8 |
Models in simulation
|
Gray, Jeff
|
|
2016
|
15 |
3 |
p. 605-607
|
article
|
| 9 |
Model transformation intents and their properties
|
Lúcio, Levi
|
|
2014
|
15 |
3 |
p. 647-684
|
article
|
| 10 |
Query-driven soft traceability links for models
|
Hegedüs, Ábel
|
|
2014
|
15 |
3 |
p. 733-756
|
article
|
| 11 |
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
|
Varró, Dániel
|
|
2016
|
15 |
3 |
p. 609-629
|
article
|
| 12 |
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
|
Bae, Jung Ho
|
|
2014
|
15 |
3 |
p. 847-879
|
article
|
| 13 |
Turning event logs into process movies: animating what has really happened
|
Leoni, Massimiliano de
|
|
2014
|
15 |
3 |
p. 707-732
|
article
|
Journal description