Sign in
Why Timed Sequence Diagrams Require Three-Event Semantics.
Øystein Haugen
Knut Eilif Husa
Ragnhild Kobro Runde
Ketil Stølen
Published in:
Scenarios: Models, Transformations and Tools (2003)
Keyphrases
</>
sequence diagrams
petri net
class diagrams
activity diagrams
uml models
formal semantics
intermediate representation
uml class diagrams
database
dependency graph
data sets
open source
operational semantics
model based testing