William Shanchung Chao

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Sequence Diagrams

Formal Specification

Top Venues

J. Comput. Sci. Eng.

Publications

W. Haga Steve, Wei-Ming Ma, William Shanchung Chao
Using the Structure-Behavior Coalescence Method to Formalize the Action Flow Semantics of UML 2.0 Activity Diagrams. J. Comput. Sci. Eng. 17 (2) (2023)
Steve Haga, Wei-Ming Ma, William Shanchung Chao
Structure-Behavior Coalescence Method for Formal Specification of UML 2.0 Sequence Diagrams. J. Comput. Sci. Eng. 15 (4) (2021)