Design Pattern Formalization Techniques
Toufik Taibi · IGI Global eBooks · 2007
"This book 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; it explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries" - rovided by publisher