Synthesis and Refinement Check of Sequence Diagrams

Hisashi Miyazaki, Tomoyuki Yokogawa, Sousuke Amasaki, Kazuma Asada, Yoichiro Sato. Synthesis and Refinement Check of Sequence Diagrams. IEICE Transactions, 95-D(9):2193-2201, 2012. [doi]

Abstract

Abstract is missing.