| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
|
Li, Xiao-bo
|
|
2016
|
16 |
4 |
p. 1201-1222
|
artikel
|
| 2 |
An approach based on the domain perspective to develop WSAN applications
|
Rodrigues, Taniro
|
|
2015
|
16 |
4 |
p. 949-977
|
artikel
|
| 3 |
A novel model-based testing approach for software product lines
|
Damiani, Ferruccio
|
|
2016
|
16 |
4 |
p. 1223-1251
|
artikel
|
| 4 |
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
|
Durán, Amador
|
|
2015
|
16 |
4 |
p. 1049-1082
|
artikel
|
| 5 |
From software extensions to product lines of dataflow programs
|
Gonçalves, Rui C.
|
|
2015
|
16 |
4 |
p. 929-947
|
artikel
|
| 6 |
Generating process model collections
|
Yan, Zhiqiang
|
|
2015
|
16 |
4 |
p. 979-995
|
artikel
|
| 7 |
Model checking multi-level and recursive nets
|
Fernández Venero, Mirtha Lina
|
|
2016
|
16 |
4 |
p. 1117-1144
|
artikel
|
| 8 |
On the formal interpretation and behavioural consistency checking of SysML blocks
|
Jacobs, Jaco
|
|
2015
|
16 |
4 |
p. 1145-1178
|
artikel
|
| 9 |
Process mining using BPMN: relating event logs and process models
|
Kalenkova, Anna A.
|
|
2015
|
16 |
4 |
p. 1019-1048
|
artikel
|
| 10 |
Promoting traits into model-driven development
|
Abdelzad, Vahdat
|
|
2015
|
16 |
4 |
p. 997-1017
|
artikel
|
| 11 |
The importance of flow in software development
|
Gray, Jeff
|
|
2017
|
16 |
4 |
p. 927-928
|
artikel
|
| 12 |
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
|
Méry, Dominique
|
|
2015
|
16 |
4 |
p. 1083-1115
|
artikel
|
| 13 |
Variability extraction and modeling for product variants
|
Linsbauer, Lukas
|
|
2016
|
16 |
4 |
p. 1179-1199
|
artikel
|
Tijdschrift beschrijving