| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A formal approach to modeling and verification of business process collaborations
|
Corradini, Flavio
|
|
2018
|
166 |
C |
p. 35-70
|
artikel
|
| 2 |
A framework for defining coupling metrics
|
Tempero, Ewan
|
|
2018
|
166 |
C |
p. 214-230
|
artikel
|
| 3 |
Editorial Board
|
|
|
2018
|
166 |
C |
p. ii
|
artikel
|
| 4 |
Formal modeling and analysis of railway operations with active objects
|
Kamburjan, Eduard
|
|
2018
|
166 |
C |
p. 167-193
|
artikel
|
| 5 |
GLL syntax analysers for EBNF grammars
|
Scott, Elizabeth
|
|
2018
|
166 |
C |
p. 120-145
|
artikel
|
| 6 |
On checking delta-oriented product lines of statecharts
|
Lienhardt, Michael
|
|
2018
|
166 |
C |
p. 3-34
|
artikel
|
| 7 |
Optimal single-path information propagation in gradient-based algorithms
|
Audrito, Giorgio
|
|
2018
|
166 |
C |
p. 146-166
|
artikel
|
| 8 |
Orchestrating incomplete TOSCA applications with Docker
|
Brogi, Antonio
|
|
2018
|
166 |
C |
p. 194-213
|
artikel
|
| 9 |
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
|
Du, Dehui
|
|
2018
|
166 |
C |
p. 71-88
|
artikel
|
| 10 |
Towards naturalistic programming: Mapping language-independent requirements to constrained language specifications
|
Mefteh, Mariem
|
|
2018
|
166 |
C |
p. 89-119
|
artikel
|
| 11 |
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017)
|
Cleophas, Loek
|
|
2018
|
166 |
C |
p. 1-2
|
artikel
|
Tijdschrift beschrijving