home > publications > Z > Z Patterns Catalogue

Susan Stepney et al.
A Z Patterns Catalogue .

Technical Reports YCS-2003/4, University of York. 2003/4.

  • Sam Valentine, Susan Stepney, Ian Toyn. II: definitions and laws , v0.1. YCS-2004-383
  • David Cooper, Susan Stepney, Jim Woodcock. III: proof and refinement . (in preparation)

    • The Three Reports

    1. specification and refactorings (Stepney, Polack, Toyn)
      • v0.1 (YCS-2003-349): The initial structure, with a focus on promotion as a generative pattern, and refactoring, with many skeleton patterns (particularly in the developmental section)
      • v0.2 (planned early 2005): fleshed out skeletons, more patterns, and material from Z in Practice
    2. definitions and laws (Valentine, Stepney, Toyn)
      • v0.1 (YCS-2004-383): The initial structure, of a rich mathematical toolkit
      • v0.2 : More generic patterns, including a type-constrained generic schema toolkit, and patterns for generating toolkits by abstraction
    3. proof and refinement (Cooper, Stepney, Woodcock)
      • v0.1 (planned end 2005): The initial structure, with proofs of intereseting properties, and refinement as a generative proof pattern
      • v0.2 : Refactoring proofs, retrenchment as `approximate proof refactoring' 

    @techreport(SS-YCS-349,
  author = "Susan Stepney and Fiona Polack and Ian Toyn",
  title = "A {Z} Patterns Catalogue I: specification and refactorings, v0.1",
  institution = "Department of Computer Science, University of York",
  number = "YCS-2003-349",
  month = jan,
  year = 2003
)

    @techreport(SS-YCS-383,
  author = "Samuel H. Valentine and Susan Stepney and Ian Toyn",
  title = "A {Z} Patterns Catalogue II: definitions and laws, v0.1",
  institution = "Department of Computer Science, University of York",
  number = "YCS-2004-383",
  month = oct,
  year = 2004
)