Login / Signup
Required behavior of sequence diagrams: Semantics and conformance.
Lunjin Lu
Dae-Kyoo Kim
Published in:
ACM Trans. Softw. Eng. Methodol. (2014)
Keyphrases
</>
sequence diagrams
intermediate representation
activity diagrams
object recognition
petri net
uml models
databases
training data
software development
operational semantics
model based testing