Design Pattern Formalization TechniquesISBN: 9781599042190
Publication Date: 4/30/2007
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. Explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.