Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
From MaRDI portal
Publication:1941894
DOI10.1007/s00165-011-0192-5zbMath1259.68133MaRDI QIDQ1941894
Ragnhild Kobro Runde, Ketil Stølen, Atle Refsdal
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11250/2468314
implementation; refinement; computer systems; compliance; sequence diagrams; denotational trace semantics
68Q60: Specification and verification (program logics, model checking, etc.)
68M01: General theory of computer systems
Related Items
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism, Stepwise refinement of sequence diagrams with soft real-time constraints
Cites Work
- Unnamed Item
- Unnamed Item
- Modelling concurrent interactions
- Defining liveness
- Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
- Specification and Development of Interactive Systems
- Refinement Calculus
- LSCs: Breathing life into message sequence charts