Design patterns formalization techniques / Toufik Taibi [editor].

Hershey, PA : IGI Pub., c2007.
xiii, 384 p. : ill. ; 27 cm.


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.
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.
  • 1599042193 (hardcover)
  • 9781599042190 (hardcover)
  • 1599042207 (softcover)
  • 9781599042206 (softcover)
  • 1599042215 (ebook)
  • 9781599042213 (ebook)
C - S