Search
Now showing items 1-2 of 2
(Research report / Forskningsrapport, 2007)
Soft real-time requirements are often related to communication in distributed systems. Therefore it is interesting to understand how UML sequence diagrams can be used to specify such requirements. We propose a way of ...
(Research report / Forskningsrapport, 2006)
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necessary distinction between black-box and ...