6. Z User Workshop 1991: York, UK

J. E. Nicholls (Ed.): Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing Springer 1992, ISBN 3-540-19780-X

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

Last update Fri May 25 08:51:12 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page