Sciweavers

Share
IPL
2002
86views more  IPL 2002»
8 years 7 months ago
A semantics of sequence diagrams
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa...
books