Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism.
Ragnhild Kobro RundeAtle RefsdalKetil StølenPublished in: Formal Aspects Comput. (2013)
Keyphrases
- computer systems
- sequence diagrams
- operating system
- computing systems
- data processing
- communication systems
- information processing systems
- information systems
- uml models
- class diagrams
- human beings
- computer technology
- high end
- computer architecture
- petri net
- intrusion detection system
- intermediate representation
- model based testing
- activity diagrams
- software developers
- computer hardware
- data sets
- video sequences
- artificial intelligence
- databases