Browsing Publikasjoner fra CRIStin by Journals "Formal Aspects of Computing"
Now showing items 1-1 of 1
-
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
(Journal article; Peer reviewed, 2013)Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ...