Design patterns formalization techniques / Toufik Taibi [editor].

Format
Book
Language
English
Published/​Created
Hershey, PA : IGI Pub., c2007.
Description
xiii, 384 p. : ill. ; 27 cm.

Details

Subject(s)
Related name
Summary note
"This book 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; it explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries"--Provided by publisher.
Bibliographic references
Includes bibliographical references and index.
Contents
Ch. I. An integrated approach to design patterns formalization / Toufik Taibi -- Ch. II. A visual language for design pattern modeling and instantiation / David Maplesden, John Hosking and John Grundy -- Ch. III. A generic model of object-oriented patterns specified in RSL / Andres Flores, Alejandro Cechich and Gabriela Aranda -- Ch. IV. Patterns of collective behavior in ocsid / Joni Helin, Pertti Kellomaki and Tommi Mikkonen -- Ch. V. Formal specification and verification of design patterns / Jing Dong, Paulo Alencar and Donald Cowan -- Ch. VI. Spine : language for pattern verification / Alex Blewitt -- Ch. VII. Intent-oriented design pattern formalization using SPQR / Jason Smith and David Stotts -- Ch. VIII. Formalising design patterns as model transformations / Kevin Lano -- Ch. IX. The role-based metamodeling language for specifying design patterns / Dae-Kyoo Kim -- Ch. X. Modeling and reasoning about design patterns in Slam-Sl / Angel Herranz and Juan Jose Moreno-Navarro -- Ch. XI. The applications and enhancement of LePUS for specifying design patterns / Rajeev R. Raje, Sivakumar Chinnasamy, Andrew M. Olson and William Hidgon -- Ch. XII. An ontology based representation of software design patterns / Jens Dietrich and Chris Elgar -- Ch. XIII. Precision, flexibility, and tool support : essential elements of pattern formalization / Neelam Soundarajan and Jason O. Hallstrom -- Ch. XIV. Formalizing patterns with the user requirements notation / Gunter Mussbacher, Daniel Amyot and Michael Weiss -- Ch. XV. A pattern enforcing compiler (PEC) for Java : a practical way to formally specify patterns / Howard Lovatt, Anthony M. Sloane and Dominic R. Verity -- Ch. XVI. LePUS : a formal language for modeling design patterns / Epameinondas Gasparis.
ISBN
  • 1599042193 (hardcover)
  • 9781599042190 (hardcover)
  • 1599042207 (softcover)
  • 9781599042206 (softcover)
  • 1599042215 (ebook)
  • 9781599042213 (ebook)
LCCN
2006035478
OCLC
74492117
RCP
C - S