| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Analysing the cognitive effectiveness of the WebML visual notation
|
Granada, David
|
|
2014
|
16 |
1 |
p. 195-227
|
artikel
|
| 2 |
Analysing the Linux kernel feature model changes using FMDiff
|
Dintzner, Nicolas
|
|
2015
|
16 |
1 |
p. 55-76
|
artikel
|
| 3 |
An empirical approach toward the resolution of conflicts in goal-oriented models
|
Hassine, Jameleddine
|
|
2015
|
16 |
1 |
p. 279-306
|
artikel
|
| 4 |
Constraint-based test generation for automotive operating systems
|
Choi, Yunja
|
|
2015
|
16 |
1 |
p. 7-24
|
artikel
|
| 5 |
Empirical assessment of two approaches for specifying software product line use case scenarios
|
Bonifácio, Rodrigo
|
|
2015
|
16 |
1 |
p. 97-123
|
artikel
|
| 6 |
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems
|
Wąsowski, Andrzej
|
|
2015
|
16 |
1 |
p. 53
|
artikel
|
| 7 |
Eugenia: towards disciplined and automated development of GMF-based graphical model editors
|
Kolovos, Dimitrios S.
|
|
2015
|
16 |
1 |
p. 229-255
|
artikel
|
| 8 |
Inferring physical units in formal models
|
Krings, Sebastian
|
|
2015
|
16 |
1 |
p. 25-47
|
artikel
|
| 9 |
Integrating business process simulation and information system simulation for performance prediction
|
Heinrich, Robert
|
|
2015
|
16 |
1 |
p. 257-277
|
artikel
|
| 10 |
Introduction to the Software Engineering and Formal Methods 2013 special issue
|
Bravetti, Mario
|
|
2015
|
16 |
1 |
p. 5-6
|
artikel
|
| 11 |
Introduction to the theme issue on variability modeling of software-intensive systems
|
Wąsowski, Andrzej
|
|
2015
|
16 |
1 |
p. 49-51
|
artikel
|
| 12 |
SoSyM reflections of 2016: a journal status report
|
Georg, Geri
|
|
2017
|
16 |
1 |
p. 1-4
|
artikel
|
| 13 |
Specification and automated validation of staged reconfiguration processes for dynamic software product lines
|
Lochau, Malte
|
|
2015
|
16 |
1 |
p. 125-152
|
artikel
|
| 14 |
Statistical prioritization for software product line testing: an experience report
|
Devroey, Xavier
|
|
2015
|
16 |
1 |
p. 153-171
|
artikel
|
| 15 |
The shape of feature code: an analysis of twenty C-preprocessor-based systems
|
Queiroz, Rodrigo
|
|
2015
|
16 |
1 |
p. 77-96
|
artikel
|
| 16 |
Variability testing in the wild: the Drupal case study
|
Sánchez, Ana B.
|
|
2015
|
16 |
1 |
p. 173-194
|
artikel
|
Tijdschrift beschrijving