| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Agile model-based system development
|
Gray, Jeff
|
|
2018
|
17 |
4 |
p. 1053-1054
|
article
|
| 2 |
A model-driven development approach for context-aware systems
|
Jaouadi, Imen
|
|
2016
|
17 |
4 |
p. 1169-1195
|
article
|
| 3 |
An approach to clone detection in sequence diagrams and its application to security analysis
|
Alalfi, Manar H.
|
|
2016
|
17 |
4 |
p. 1287-1309
|
article
|
| 4 |
Efficient parallel reasoning on fuzzy goal models for run time requirements verification
|
Chatzikonstantinou, George
|
|
2016
|
17 |
4 |
p. 1339-1364
|
article
|
| 5 |
Encoding process discovery problems in SMT
|
Solé, Marc
|
|
2016
|
17 |
4 |
p. 1055-1078
|
article
|
| 6 |
Formalised EMFTVM bytecode language for sound verification of model transformations
|
Cheng, Zheng
|
|
2016
|
17 |
4 |
p. 1197-1225
|
article
|
| 7 |
Holistic security requirements analysis for socio-technical systems
|
Li, Tong
|
|
2016
|
17 |
4 |
p. 1253-1285
|
article
|
| 8 |
On submodels and submetamodels with their relation
|
Carré, Bernard
|
|
2016
|
17 |
4 |
p. 1105-1137
|
article
|
| 9 |
On the automated translational execution of the action language for foundational UML
|
Ciccozzi, Federico
|
|
2016
|
17 |
4 |
p. 1311-1337
|
article
|
| 10 |
Reusing metamodels and notation with Diagram Definition
|
Bock, Conrad
|
|
2016
|
17 |
4 |
p. 1079-1103
|
article
|
| 11 |
Scope in model transformations
|
Jukšs, Māris
|
|
2016
|
17 |
4 |
p. 1227-1252
|
article
|
| 12 |
The Train Benchmark: cross-technology performance evaluation of continuous model queries
|
Szárnyas, Gábor
|
|
2017
|
17 |
4 |
p. 1365-1393
|
article
|
| 13 |
VMTL: a language for end-user model transformation
|
Acreţoaie, Vlad
|
|
2016
|
17 |
4 |
p. 1139-1167
|
article
|
Journal description