Table Of Contents

• Chapter I: An Integrated Approach to Design Patterns Formalization
  • Toufik Taibi, United Arab Emirates University, UAE
• Chapter II: A Visual Language for Design Pattern Modeling and Instantiation
  • David Maplesden, Orion Systems Ltd , New Zealand
  • John Hosking, University of Auckland, New Zealand
  • John Grundy, University of Auckland, New Zealand
• Chapter III: A Generic Model of Object-Oriented Patterns Specified in RSL
  • Andrés Flores, University of Comahue, Argentina
  • Alejandra Cechich, University of Comahue, Argentina
  • Gabriela Aranda, University of Comahue, Argentina
• Chapter IV: Patterns of Collective Behavior in Ocsid
  • Joni Helin, Tampere University of Technology, Finland
  • Pertti Kellomäki, Tampere University of Technology, Finland
  • Tommi Mikkonen, Tampere University of Technology, Finland
• Chapter V: Formal Specification and Verification of Design Patterns
  • Jing Dong, University of Texas at Dallas, USA
  • Paulo Alencar, University of Waterloo, Canada
  • Donald Cowan, University of Waterloo, Canada
• Chapter VI: Spine: Language for Pattern Verification
  • Alex Blewitt, Edinburgh University, UK
• Chapter VII: Intent-Oriented Design Pattern Formalization Using SPQR
  • Jason Smith, IBM T.J. Watson Research, USA
  • David Stotts, University of North Carolina at Chapel Hill, USA
• Chapter VIII: Formalising Design Patterns as Model Transformations
  • Kevin Lano, King’s College, UK
• Chapter IX: The Role-Based Metamodeling Language for Specifying Design Patterns
  • Dae-Kyoo Kim, Oakland University, USA
• Chapter X: Modeling and Reasoning about Design Patterns in Slam-Sl
  • Angel Herranz, Universidad Politécnica de Madrid, Spain
  • Juan José Moreno-Navarro, IMDEA Software, Spain
• Chapter XI: The Applications and Enhancement of LePUS for Specifying Design Patterns
  • Rajeev R. Raje, Indiana University-Purdue University Indianapolis, USA
  • Sivakumar Chinnasamy, Verizon Information Services, USA
  • Andrew M. Olson, Indiana University-Purdue University Indianapolis, USA
  • William Hidgon, University of Indianapolis, USA
• Chapter XII: An Ontology Based Representation of Software Design Patterns
  • Jens Dietrich, Massey University, New Zealand
  • Chris Elgar, SolNet Solutions Limited, New Zealand
• Chapter XIII: Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization
  • Neelam Soundarajan, The Ohio State University, USA
  • Jason O. Hallstrom, Clemson University, USA
• Chapter XIV: Formalizing Patterns with the User Requirements Notation
  • Gunter Mussbacher, University of Ottawa, Canada
  • Daniel Amyot, University of Ottawa, Canada
  • Michael Weiss, Carleton University, Canada
• Chapter XV: A Pattern Enforcing Compiler (PEC) for Java: A Practical Way to Formally Specify Patterns
  • Howard Lovatt, Macquarie University, Australia
  • Anthony M. Sloane, Macquarie University, Australia
  • Dominic R. Verity, Macquarie University, Australia
• Chapter XVI: LePUS: A Formal Language for Modeling Design Patterns
  • Epameinondas Gasparis, University of Essex, UK