| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Access control in feature-oriented programming
|
Apel, Sven
|
|
2012
|
77 |
3 |
p. 174-187
14 p.
|
artikel
|
| 2 |
A model-driven process for the modernization of component-based systems
|
Fuentes-Fernández, Rubén
|
|
2012
|
77 |
3 |
p. 247-269
23 p.
|
artikel
|
| 3 |
A model-extraction approach to verifying concurrent C programs with CADP
|
Gallardo, M.M.
|
|
2012
|
77 |
3 |
p. 375-392
18 p.
|
artikel
|
| 4 |
Aspects preserving properties
|
Djoko Djoko, Simplice
|
|
2012
|
77 |
3 |
p. 393-422
30 p.
|
artikel
|
| 5 |
Correct transformation: From object-based graph grammars to PROMELA
|
Ribeiro, Leila
|
|
2012
|
77 |
3 |
p. 214-246
33 p.
|
artikel
|
| 6 |
Model evolution and refinement
|
Ruhroth, Thomas
|
|
2012
|
77 |
3 |
p. 270-289
20 p.
|
artikel
|
| 7 |
Preface to the special issue on feature-oriented software development (FOSD 2009)
|
Apel, Sven
|
|
2012
|
77 |
3 |
p. 129-130
2 p.
|
artikel
|
| 8 |
Quantifying forecast quality of IT business value
|
Eveleens, J.L.
|
|
2012
|
77 |
3 |
p. 314-354
41 p.
|
artikel
|
| 9 |
rbFeatures: Feature-oriented programming with Ruby
|
Günther, Sebastian
|
|
2012
|
77 |
3 |
p. 152-173
22 p.
|
artikel
|
| 10 |
Remodularizing Java programs for improved locality of feature implementations in source code
|
Olszak, Andrzej
|
|
2012
|
77 |
3 |
p. 131-151
21 p.
|
artikel
|
| 11 |
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets
|
Valero, Valentín
|
|
2012
|
77 |
3 |
p. 290-313
24 p.
|
artikel
|
| 12 |
Using formal methods to develop WS-BPEL applications
|
Lapadula, Alessandro
|
|
2012
|
77 |
3 |
p. 189-213
25 p.
|
artikel
|
| 13 |
WSDL term tokenization methods for IR-style Web services discovery
|
Wu, Chen
|
|
2012
|
77 |
3 |
p. 355-374
20 p.
|
artikel
|
Tijdschrift beschrijving