6. Z User Workshop 1991: York, UK

Theoretical Foundations

• Alf Smith: On Recursive Free Types in Z. 3-39
• R. D. Arthan: On Free Type Definitions in Z. 40-58
• Antoni Diller: Z and Hoare Logics. 59-76
• J. C. P. Woodclock, S. M. Brien: W: A Logic for Z. 77-96

Scope of Use

• Rosalind Barden, Susan Stepney, David Cooper: The Use of Z. 99-124
• Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan: Extending the Useful Application Domain for Formal Methods. 125-144
• J. E. Nicholls: Domains of Application for Formal Methods. 145-156
• Samuel H. Valentine: Z--, an Executable Subset of Z. 157-187

Special Applications

• Michael Harrison: Engineering Human-Error Tolerant Software. 191-204
• Pamela Zave, Michael Jackson: Techniques for Partial Specification and Specification of Switching Systems. 205-219

Tools

• Mark Saaltink: Z and Eves. 223-242
• Dave Neilson, Divya Prasad: zedB: A Proof Tool for Z Built on B. 243-258

Structured Methods and Object-Oriented Approaches

• Roberto Souto Maior de Barros, David J. Harper: A Method for the Specification of Relational Database Applications. 261-286
• Fiona Polack, Mark Whiston, Peter Hitchcock: Structured Analysis - A Draft Method for Writing Z Specifications. 287-328
• David J. Duke: Enhancing the Structure of Z Specifications. 329-351
• David A. Carrington: ZOOM Workshop Report. 352-364

Bibliography etc

• Jonathan P. Bowen: Select Z Bibliography and Frequently Asked Questions. 367-401