Abstract is missing.
- Formal Methods: A Panacea or Academic Poppycock?Constance L. Heitmeyer. 3-9
- An Introduction to the Event CalculusBill Stoddart. 10-34
- Experiences with PiZA, an Animator for ZM. A. Hewitt, Colin O Halloran, Chris T. Sennett. 37-51
- Automating Test Case Generation from Z Specifications with IsabelleSteffen Helke, Thomas Neustupny, Thomas Santen. 52-71
- The Z/EVES SystemMark Saaltink. 72-85
- Taking Z SeriouslyAnthony Hall. 89-91
- A Formal OO Method Inspired by Fusion and Object-ZKlaus Achatz, Wolfram Schulte. 92-111
- ::::W:::: ReconstructedJon G. Hall, Andrew Martin. 115-134
- Using the Rippling Heuristic in Set Membership ProofsIna Kraan. 135-147
- A Practical Method for Rigorously Controllable Hardware DesignEgon Börger, S. Mazzanti. 151-187
- Integrating VDM++ and Real-Time System DesignKevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent. 188-219
- An Approach to the Design of Distributed Systems with B AMNMichael J. Butler. 223-241
- Specifying Reactive Systems in B AMNKevin Lano. 242-274
- An Improved Recipe for Specifying Reactive Systems in ZAndy Evans. 275-294
- A Z Specification of the Soft-Link Hypertext ModelMark d Inverno, Michael J. Hu. 297-316
- Experience with Z Developing a Control Program for a Radiation Therapy MachineJonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler. 317-328
- Preliminary Evaluation of a Formal Approach to User Interface SpecificationJohn C. Knight, Susan S. Brilliant. 329-346
- Analyzing and Refining an Architectural StylePaolo Ciancarini, Cecilia Mascolo. 349-368
- Weak Refinement in ZJohn Derrick, Eerke Boiten, Howard Bowman, Maarten Steen. 369-388
- Select Z BibliographyJonathan P. Bowen. 391-424
- Comp.specification.z and Z FORUM Frequently Asked QuestionsJonathan P. Bowen. 425-433