| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A formal component model for UML based on CSP aiming at compositional verification
|
Falcão, Flávia
|
|
|
23 |
3 |
p. 765-798
|
artikel
|
| 2 |
A refinement-based approach to safe smart contract deployment and evolution
|
Antonino, Pedro
|
|
|
23 |
3 |
p. 657-693
|
artikel
|
| 3 |
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities
|
Calhau, Rodrigo F.
|
|
|
23 |
3 |
p. 599-601
|
artikel
|
| 4 |
Exchanging information in cooperative software validation
|
Haltermann, Jan
|
|
|
23 |
3 |
p. 695-719
|
artikel
|
| 5 |
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
|
Oakes, Bentley James
|
|
|
23 |
3 |
p. 737-763
|
artikel
|
| 6 |
Guest editorial to the special section on SEFM’22
|
Schlingloff, Bernd-Holger
|
|
|
23 |
3 |
p. 603-604
|
artikel
|
| 7 |
Guest editorial to the theme section on Trends in Enterprise Architecture Research
|
de Kinderen, Sybren
|
|
|
23 |
3 |
p. 533-534
|
artikel
|
| 8 |
Learning minimal automata with recurrent neural networks
|
Aichernig, Bernhard K.
|
|
|
23 |
3 |
p. 625-655
|
artikel
|
| 9 |
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities
|
Calhau, Rodrigo F.
|
|
|
23 |
3 |
p. 559-598
|
artikel
|
| 10 |
Model modularity for reuse, libraries and composition: symbol management is key
|
Combemale, Benoit
|
|
|
23 |
3 |
p. 525-526
|
artikel
|
| 11 |
On applying residual reasoning within neural network verification
|
Elboher, Yizhak Yisrael
|
|
|
23 |
3 |
p. 721-736
|
artikel
|
| 12 |
Toward an ontology for EA modeling and EA model quality
|
Schoonderbeek, Jan A. H.
|
|
|
23 |
3 |
p. 535-558
|
artikel
|
| 13 |
User journey games: automating user-centric analysis
|
Kobialka, Paul
|
|
|
23 |
3 |
p. 605-624
|
artikel
|
| 14 |
What makes a good modeling research contribution?
|
Paige, Richard F.
|
|
|
23 |
3 |
p. 527-531
|
artikel
|
Tijdschrift beschrijving