Search
Now showing items 1-2 of 2
(Research report / Forskningsrapport, 2007)
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 ...
(Research report / Forskningsrapport, 2007)
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 ...