| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A method for digital business ecosystem design: situational method engineering in an action research project
|
Tsai, Chen Hsi
|
|
|
22 |
2 |
p. 573-598
|
artikel
|
| 2 |
Automaton-based comparison of Declare process models
|
Schützenmeier, Nicolai
|
|
|
22 |
2 |
p. 667-685
|
artikel
|
| 3 |
Composable partial multiparty session types for open systems
|
Stolze, Claude
|
|
|
22 |
2 |
p. 473-494
|
artikel
|
| 4 |
Context-aware modeling for knowledge-intensive medicinal product development processes
|
Ozturk Yurt, Zeynep
|
|
|
22 |
2 |
p. 709-731
|
artikel
|
| 5 |
Correction: Automaton-based comparison of Declare process models
|
Schützenmeier, Nicolai
|
|
|
22 |
2 |
p. 687
|
artikel
|
| 6 |
Dash: declarative behavioural modelling in Alloy with control state hierarchy
|
Serna, Jose
|
|
|
22 |
2 |
p. 733-749
|
artikel
|
| 7 |
Editorial for FACS 2021 special section (SoSyM)
|
Salaün, Gwen
|
|
|
22 |
2 |
p. 471-472
|
artikel
|
| 8 |
Guest editorial to the special section on PoEM’2021
|
Serral, Estefanía
|
|
|
22 |
2 |
p. 547-550
|
artikel
|
| 9 |
Guidelines to derive an e3value business model from a BPMN process model: an experiment on real-world scenarios
|
Torres, Isaac da Silva
|
|
|
22 |
2 |
p. 599-618
|
artikel
|
| 10 |
How to define modeling languages?
|
Combemale, Benoit
|
|
|
22 |
2 |
p. 449-451
|
artikel
|
| 11 |
In memory of Heinrich Hussmann, long-time friend and SoSyM editor
|
Broy, Manfred
|
|
|
22 |
2 |
p. 453-454
|
artikel
|
| 12 |
Linear parallel algorithms to compute strong and branching bisimilarity
|
Martens, Jan
|
|
|
22 |
2 |
p. 521-545
|
artikel
|
| 13 |
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept
|
Shilov, Nikolay
|
|
|
22 |
2 |
p. 619-646
|
artikel
|
| 14 |
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory
|
Proper, Henderik A.
|
|
|
22 |
2 |
p. 551-571
|
artikel
|
| 15 |
Securing critical infrastructures with a cybersecurity digital twin
|
Masi, Massimiliano
|
|
|
22 |
2 |
p. 689-707
|
artikel
|
| 16 |
Semi-automatic service value network modeling approach based on external public data
|
Wang, Jingying
|
|
|
22 |
2 |
p. 751-775
|
artikel
|
| 17 |
Span(Graph): a canonical feedback algebra of open transition systems
|
Di Lavore, Elena
|
|
|
22 |
2 |
p. 495-520
|
artikel
|
| 18 |
Trustworthy agent-based simulation: the case for domain-specific modelling languages
|
Zschaler, Steffen
|
|
|
22 |
2 |
p. 455-470
|
artikel
|
| 19 |
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view
|
Ma, Qin
|
|
|
22 |
2 |
p. 647-666
|
artikel
|
Tijdschrift beschrijving