home
>
publications
>
Z
>
Z Patterns Catalogue
Susan Stepney
et al.
A Z Patterns Catalogue
.
Technical Reports YCS-2003/4, University of York. 2003/4.
-
Susan Stepney, Fiona Polack, Ian Toyn.
I: specification and
refactorings
, v0.1. YCS-2003-349
-
full report
: 146pp.
PDF
798K
Sam Valentine, Susan Stepney, Ian Toyn.
II: definitions and laws
,
v0.1. YCS-2004-383
-
full report
: 500pp.
PDF
2042K
David Cooper, Susan Stepney, Jim Woodcock.
III: proof and
refinement
. (in preparation)
The Three Reports
-
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
-
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
-
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
)