Required behavior of sequence diagrams: Semantics and conformance

Lunjin Lu, Dae-Kyoo Kim. Required behavior of sequence diagrams: Semantics and conformance. ACM Transactions on Software Engineering Methodology, 23(2):15, 2014. [doi]

Abstract

Abstract is missing.