Formal Modeling and Specification of Design Patterns Using RTPA

Yingxu Wang, Jian Huang. Formal Modeling and Specification of Design Patterns Using RTPA. IJCINI, 2(1):100-111, 2008. [doi]

Abstract

Abstract is missing.