| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A framework for relating syntactic and semantic model differences
|
Maoz, Shahar
|
|
2016
|
17 |
3 |
p. 753-777
|
artikel
|
| 2 |
Case-based exploration of bidirectional transformations in QVT Relations
|
Westfechtel, Bernhard
|
|
2016
|
17 |
3 |
p. 989-1029
|
artikel
|
| 3 |
Configuring use case models in product families
|
Hajri, Ines
|
|
2016
|
17 |
3 |
p. 939-971
|
artikel
|
| 4 |
Full contract verification for ATL using symbolic execution
|
Oakes, Bentley James
|
|
2016
|
17 |
3 |
p. 815-849
|
artikel
|
| 5 |
Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS’15)
|
Cabot, Jordi
|
|
2017
|
17 |
3 |
p. 715-716
|
artikel
|
| 6 |
Model-based simulation of legal policies: framework, tool support, and validation
|
Soltana, Ghanem
|
|
2016
|
17 |
3 |
p. 851-883
|
artikel
|
| 7 |
Model development guidelines for UML-RT: conventions, patterns and antipatterns
|
Das, Tuhin Kanti
|
|
2016
|
17 |
3 |
p. 717-752
|
artikel
|
| 8 |
Modeling context-aware and intention-aware in-car infotainment systems
|
Lüddecke, Daniel
|
|
2016
|
17 |
3 |
p. 973-987
|
artikel
|
| 9 |
Multi-purpose, multi-level feature modeling of large-scale industrial software systems
|
Rabiser, Daniela
|
|
2016
|
17 |
3 |
p. 913-938
|
artikel
|
| 10 |
Quick fixing ATL transformations with speculative analysis
|
Cuadrado, Jesús Sánchez
|
|
2016
|
17 |
3 |
p. 779-813
|
artikel
|
| 11 |
Testing models and model transformations using classifying terms
|
Hilken, Frank
|
|
2016
|
17 |
3 |
p. 885-912
|
artikel
|
| 12 |
UML customization versus domain-specific languages
|
Gray, Jeff
|
|
2018
|
17 |
3 |
p. 713-714
|
artikel
|
| 13 |
Visual modeling of RESTful conversations with RESTalk
|
Ivanchikj, Ana
|
|
2016
|
17 |
3 |
p. 1031-1051
|
artikel
|
Tijdschrift beschrijving