Login / Signup
Required Behavior of Sequence Diagrams: Semantics and Refinement.
Lunjin Lu
Dae-Kyoo Kim
Published in:
ICECCS (2011)
Keyphrases
</>
sequence diagrams
class diagrams
uml models
database
data structure
test cases
petri net
formal semantics
model based testing