5. Z User Workshop 1990: Oxford, UK

J. E. Nicholls (Ed.): Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing Springer 1991, ISBN 3-540-19672-2

Theory and Foundations

Paul H. B. Gardiner, P. J. Lupton, Jim Woodcock: A Simpler Semantics for Z. 3-11
Ian J. Hayes: Interpretations of Z Schema Operations. 12-26
P. J. Lupton: Promoting Forward Simulation. 27-49
P. L. Iachini: Operation Schema Iterations. 50-57
Cliff B. Jones: Interference Revisited. 58-73

Standards and Tools

Andrew Coombes, John A. McDermid: A Tool for Defining the Architecture of Z Specifications. 77-92
David Jordan, John A. McDermid, Ian Toyn: CADIZ - Computer Aided Design in Z. 93-104
Dave Neilson: Machine Support for Z: the zebB Tool. 105-128
Brian Hepworth, Dan Simpson: The ZIP Project. 129-136

Methods

Andrew M. Gravell: What is a Good Formal Specification? 137-150
Kevin Lano: Z⁺⁺, An Object-orientated Extension to Z. 151-172
Silvio Romero de Lemos Meira, Ana Cavalcanti: Modular Object-oriented Z Specifications. 173-192
Peter J. Whysall, John A. McDermid: An Approach to Object-Oriented Specification Using Z. 193-215
Gill Randell: Data Flow Diagrams and Z. 216-227
Lesley Semmens, Pat Allen: Using Yourdon and Z: an Approach to Formal Specification. 228-253
Jonathan D. Moffett, Morris Sloman: A Case Study in Representing a Model: to Z or not to Z? 254-268
John Bainbridge, R. W. Whitty, John Wordsworth: Obtaining Structural Metrics of Z Specifications for Systems Development. 269-281

Industrial Applicaton

John Wordsworth: The CICS Application Programming Interface Definition. 285-294
Peter T. Breuer: Z! in Progress: Maintaining Z Specifications. 295-318
Michael J. Butler: Service Extension at the Specification Level. 319-333

Training and Education

Allan Norcliffe, Samuel H. Valentine: A Video-based Training Course in Reading Z Specifications. 337-342
J. E. Nicholls: A Survey of Z Courses in the UK. 343-350

Selected Z Bibliography

Jonathan P. Bowen: Selected Z Bibliography. 353-373

Posters

Malcolm Teasdale: Metrics and Measurement of Specifications Written in Z. 377-377
Jonathan P. Bowen: Z FORUM Electronic Mailing List. 378-378
Jonathan P. Bowen: PRG Archive Server. 379-379
Formal Methods Courses. 380-380
Silvio Romero de Lemos Meira: The MooZ Environment. 381-381
Software Products and Training Courses. 382-382
Formal Security Policy Modelling. 383-383
Fiona Polack, Peter Hitchcock, Alan W. Brown: SAZ. 384-384
S/370 Tool Expo - Z Toolset. 385-385
Steve Russ: Structure, Algebras and Metrics. 386-386
Colin Parker: Z Tools Catalogue. 387-388