| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A framework for FMI-based co-simulation of human–machine interfaces
|
Palmieri, Maurizio
|
|
|
19 |
3 |
p. 601-623
|
artikel
|
| 2 |
Ark: a constraint-based method for architectural synthesis of smart systems
|
Guessi, Milena
|
|
|
19 |
3 |
p. 741-762
|
artikel
|
| 3 |
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
|
Anjorin, Anthony
|
|
|
19 |
3 |
p. 647-691
|
artikel
|
| 4 |
Early-stage analysis of cyber-physical production systems through collaborative modelling
|
Neghina, Mihai
|
|
|
19 |
3 |
p. 581-600
|
artikel
|
| 5 |
Editorial to the theme section on model-based engineering of smart systems
|
Fitzgerald, John
|
|
|
19 |
3 |
p. 579-580
|
artikel
|
| 6 |
Enhancing secure business process design with security process patterns
|
Argyropoulos, Nikolaos
|
|
|
19 |
3 |
p. 555-577
|
artikel
|
| 7 |
From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking
|
Gulden, Jens
|
|
|
19 |
3 |
p. 531-554
|
artikel
|
| 8 |
Modeling dynamic structures
|
Gray, Jeff
|
|
|
19 |
3 |
p. 527-528
|
artikel
|
| 9 |
Special section of BPMDS’2017: enabling business transformation by business process modeling, development and support
|
Nurcan, Selmin
|
|
|
19 |
3 |
p. 529-530
|
artikel
|
| 10 |
Systematic review of matching techniques used in model-driven methodologies
|
Somogyi, Ferenc Attila
|
|
|
19 |
3 |
p. 693-720
|
artikel
|
| 11 |
Towards high-level fuzzy control specifications for building automation systems
|
Vidal, Juan C.
|
|
|
19 |
3 |
p. 625-646
|
artikel
|
| 12 |
Transitive-closure-based model checking (TCMC) in Alloy
|
Farheen, Sabria
|
|
|
19 |
3 |
p. 721-740
|
artikel
|
| 13 |
Using empirical studies to mitigate symbol overload in iStar extensions
|
Gonçalves, Enyo
|
|
|
19 |
3 |
p. 763-784
|
artikel
|
Tijdschrift beschrijving