Abstract is missing.
- A Simpler Semantics for ZPaul H. B. Gardiner, P. J. Lupton, Jim Woodcock. 3-11
- Interpretations of Z Schema OperationsIan J. Hayes. 12-26
- Promoting Forward SimulationP. J. Lupton. 27-49
- Operation Schema IterationsP. L. Iachini. 50-57
- Interference RevisitedCliff B. Jones. 58-73
- A Tool for Defining the Architecture of Z SpecificationsAndrew Coombes, John A. McDermid. 77-92
- CADIZ - Computer Aided Design in ZDavid Jordan, John A. McDermid, Ian Toyn. 93-104
- Machine Support for Z: the zebB ToolDave Neilson. 105-128
- The ZIP ProjectBrian Hepworth, Dan Simpson. 129-136
- What is a Good Formal Specification?Andrew M. Gravell. 137-150
- Z:::++:::, An Object-orientated Extension to ZKevin Lano. 151-172
- Modular Object-oriented Z SpecificationsSilvio Romero de Lemos Meira, Ana Cavalcanti. 173-192
- An Approach to Object-Oriented Specification Using ZPeter J. Whysall, John A. McDermid. 193-215
- Data Flow Diagrams and ZGill Randell. 216-227
- Using Yourdon and Z: an Approach to Formal SpecificationLesley Semmens, Pat Allen. 228-253
- A Case Study in Representing a Model: to Z or not to Z?Jonathan D. Moffett, Morris Sloman. 254-268
- Obtaining Structural Metrics of Z Specifications for Systems DevelopmentJohn Bainbridge, R. W. Whitty, John Wordsworth. 269-281
- The CICS Application Programming Interface DefinitionJohn Wordsworth. 285-294
- Z! in Progress: Maintaining Z SpecificationsPeter T. Breuer. 295-318
- Service Extension at the Specification LevelMichael J. Butler. 319-333
- A Video-based Training Course in Reading Z SpecificationsAllan Norcliffe, Samuel H. Valentine. 337-342
- A Survey of Z Courses in the UKJ. E. Nicholls. 343-350
- Selected Z BibliographyJonathan P. Bowen. 353-373
- Metrics and Measurement of Specifications Written in ZMalcolm Teasdale. 377-377
- Z FORUM Electronic Mailing ListJonathan P. Bowen. 378-378
- PRG Archive ServerJonathan P. Bowen. 379-379
- Formal Methods Courses380-380
- The MooZ EnvironmentSilvio Romero de Lemos Meira. 381-381
- Software Products and Training Courses382-382
- Formal Security Policy Modelling383-383
- SAZFiona A. C. Polack, Peter Hitchcock, Alan W. Brown. 384-384
- S/370 Tool Expo - Z Toolset385-385
- Structure, Algebras and MetricsSteve Russ. 386-386
- Z Tools CatalogueColin Parker. 387-388