| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An executable formal semantics for UML-RT
|
Posse, Ernesto
|
|
2014
|
15 |
1 |
p. 179-217
|
artikel
|
| 2 |
A profile and tool for modelling safety information with design information in SysML
|
Biggs, Geoffrey
|
|
2014
|
15 |
1 |
p. 147-178
|
artikel
|
| 3 |
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
|
Mosterman, Pieter J.
|
|
2015
|
15 |
1 |
p. 5-16
|
artikel
|
| 4 |
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework
|
Cortes-Cornax, Mario
|
|
2014
|
15 |
1 |
p. 219-255
|
artikel
|
| 5 |
Formalizing and appling compliance patterns for business process compliance
|
Elgammal, Amal
|
|
2014
|
15 |
1 |
p. 119-146
|
artikel
|
| 6 |
Goal-oriented modeling and verification of feature-oriented product lines
|
Asadi, Mohsen
|
|
2014
|
15 |
1 |
p. 257-279
|
artikel
|
| 7 |
Industry 4.0 as a Cyber-Physical System study
|
Mosterman, Pieter J.
|
|
2015
|
15 |
1 |
p. 17-29
|
artikel
|
| 8 |
SAMM: an architecture modeling methodology for ship command and control systems
|
Fan, Zhiqiang
|
|
2013
|
15 |
1 |
p. 71-118
|
artikel
|
| 9 |
Synthesizing object life cycles from business process models
|
Eshuis, Rik
|
|
2014
|
15 |
1 |
p. 281-302
|
artikel
|
| 10 |
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime
|
Szvetits, Michael
|
|
2013
|
15 |
1 |
p. 31-69
|
artikel
|
| 11 |
The 2015 “State of the Journal” report
|
Georg, Geri
|
|
2016
|
15 |
1 |
p. 1-4
|
artikel
|
Tijdschrift beschrijving