Design Pattern Formalization Techniques
by Toufik Taibi /
2007 / English / PDF
6.5 MB Download
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.
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.
