Design patterns formalization techniques / Toufik Taibi [editor].

Format
Book
Language
English
Published/​Created
  • Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), [2007]
  • copyright 2007
Description
1 online resource

Details

Subject(s)
Editor
Related name
Summary note
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.
Bibliographic references
Includes bibliographical references and index.
Source of description
Title from PDF t.p. (viewed on May 25, 2010).
Other title(s)
  • Design pattern formalization techniques.
  • Oxford scholarly editions online.
ISBN
  • 9781599042213 (ebook)
  • 1599042215 (ebook)
Doi
  • 10.4018/978-1-59904-219-0
Other views
Staff view