Login / Signup

Structure-Behavior Coalescence Method for Formal Specification of UML 2.0 Sequence Diagrams.

Steve HagaWei-Ming MaWilliam Shanchung Chao
Published in: J. Comput. Sci. Eng. (2021)
Keyphrases
  • formal specification
  • sequence diagrams
  • database
  • fine grained
  • artificial intelligence
  • database systems
  • error rate
  • software systems
  • class diagrams