Formal Specification of Design Patterns and Their Instances Taibi, T. Taibi, F.
This paper appears in: Computer Systems and Applications, 2006. IEEE International Conference on. Publication Date: March 8, 2006 On page(s): 33- 36 ISSN: ISBN: 1-4244-0211-5 Current Version Published: 2006-04-18
Index Terms Available to subscribers and IEEE members.