Many formal approaches for pattern specification are emerging as a means
to cope with the inherent shortcomings of informal description. Design
Pattern Formalization Techniques presents multiple mathematical, formal
approaches for pattern specification, emphasizing on software
development processes for engineering disciplines. Design Pattern
Formalization Techniques focuses on formalizing the solution element of
patterns, providing tangible benefits to pattern users, researchers,
scholars, academicians, practitioners and students working in the field
of design patterns and software reuse. Design Pattern Formalization
Techniques explains details on several specification languages, allowing
readers to choose the most suitable formal technique to solve their
specific inquiries.
http://rapidshare.com/files/40349718...s.Mar.2007.rar
or
http://www.megaupload.com/?d=6CLTNS4A