Tuan Anh Nguyen, Fiona Polack, Susan Stepney, Ian Toyn.
Practical use of real numbers in Z.
Z
User Meeting 2007, in conjunction with ICECCS 2007, Waikato,
New Zealand, 11-14 July 2007
2006
book chapters
Nuno Amálio, Fiona Polack, Susan Stepney.
UML + Z: Augmenting UML with Z.
In Marc Frappier, Henri Habrias, eds.
Software Specification
Methods : an Overview Using a Case Study, new edn
, Hermes Science
Publishing, 2006
Rosalind Barden, Susan Stepney.
Support for using Z
.
Proceedings of the 7th Z User Meeting, London, 1992
,
Workshops in Computing, pp 255-280. Springer, 1993.
other
Susan Stepney, Rosalind Barden.
Annotated Z Bibliography
.
EATCS Bulletin
,
50
:280-313. June 1993.
1992
books / proceedings
Susan Stepney, Rosalind Barden, David Cooper, editors.
Object Orientation in Z
.
Workshops in Computing. Springer, 1992.
journal papers
Susan Stepney, Rosalind Barden, David Cooper.
A Survey of Object Orientation in Z
.
Software Engineering Journal
,
7
(2):150-160, March
1992.
refereed workshop and conference papers
Rosalind Barden, Susan Stepney, David Cooper.
The Use of Z
.
Proceedings of the 6th Z User Meeting, York, UK, 1991
, pp
99-124. Workshops in Computing, Springer, 1992.