Design patterns formalization techniques

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. This book presents multiple mathematical, formal approaches for pattern specification, emphasizing software development processes for engineering disciplines. It f...

Full description

Bibliographic Details
Corporate Author: IGI Global.
Other Authors: Taibi, Toufik, 1969-
Format: Electronic
Language:English
Published: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2007.
Subjects:
Online Access:View fulltext via EzAccess
Description
Summary:Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. This book presents multiple mathematical, formal approaches for pattern specification, emphasizing software development processes for engineering disciplines. It 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. The book explains details of several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.
Physical Description:electronic texts (xiii, 384 p. : ill.) : digital files.
Also available in print.
Format:Mode of access: World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:9781599042213 (ebook)
1599042215 (ebook)
Access:Restricted to subscribers or individual electronic text purchasers.