An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation.
eva KühnSophie Therese RadschekPublished in: SEFM Workshops (2017)
Keyphrases
- study proposes
- theoretical framework
- theoretical analysis
- computational model
- management system
- mathematical model
- simulation study
- theoretical foundation
- context dependent
- recommender systems
- probabilistic model
- graphical models
- user interaction
- social networks
- user model
- qualitative and quantitative
- formal model
- user interface