Login / Signup

Required behavior of sequence diagrams: Semantics and conformance.

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