Focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academics, practitioners and students working in the field of design patterns and software reuse. The book explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.