Login / Signup

Required Behavior of Sequence Diagrams: Semantics and Refinement.

Lunjin LuDae-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