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 BibTeX

@proceedings{DBLP:conf/zum/1990,
  editor    = {J. E. Nicholls},
  title     = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual
               Z User Meeting, 17-18 December 1990},
  booktitle = {Z User Workshop},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1991},
  isbn      = {3-540-19672-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Theory and Foundations

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

Standards and Tools

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

Methods

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

Industrial Applicaton

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

Training and Education

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

Selected Z Bibliography

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

Posters

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