Formal specification of structural and behavioral aspects of design patterns

Shouvik Dey. Formal specification of structural and behavioral aspects of design patterns. Journal of Object Technology, 9(6):99-126, 2010. [doi]

Abstract

Abstract is missing.