Abstract is missing.
- Object Orientation and Formal TechniquesOle-Johan Dahl. 1-11
- An Algebraic Approach to RefinementJoseph A. Goguen. 12-28
- Modal Logic ProgrammingD. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki. 29-40
- Z Specification of an Object ManagerPatrice Chalin, Peter Grogono. 41-71
- Correctness in the SmallPeter Haastrup, Christian Gram. 72-98
- A Formal Approach to Hypertext using Post-Prototype Formal SpecificationDanny B. Lange. 99-121
- Programming with VDM DomainsUwe Schmidt, Hans-Martin Hörcher. 122-134
- A Buffering System Implementation using VDMDebora Weber-Wulff. 135-149
- Formal Specifications as Reusable FrameworksDavid Garlan, Norman M. Delisle. 150-163
- Z and the Refinement CalculusSteve King. 164-188
- Modularizing the Formal Description of a Database SystemJohn S. Fitzgerald, Cliff B. Jones. 189-210
- Modular Extensions to ZAugusto Sampaio, Silvio Romero de Lemos Meira. 211-232
- Adding Abstract Datatypes to Meta-IVJørgen Steensgaard-Madsen. 233-243
- Towards a Semantics for Object-ZDavid J. Duke, Roger Duke. 244-261
- HOOD and Z for the Development of Complex Software SystemsRaffaele di Giovanni, P. L. Iachini. 262-289
- Using Z as a Specification Calculus for Object-Oriented SystemsAnthony Hall. 290-318
- Specifying Open Distributed Systems with ZReinhard Gotzhein. 319-339
- Refinement of State-Based Concurrent SystemsJim Woodcock, Carroll Morgan. 340-351
- Refining Data to ProcessesJob Zwiers. 352-369
- Two Approaches towards the Formalisation of VDMChristine Lafontaine, Yves Ledru, Pierre Yves Schobbens. 370-398
- Type Checking BSI/VDM-SLNico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel. 399-425
- Type Inference in ZJ. Michael Spivey, Bernard Sufrin. 426-451
- Recursive Definitions RevisitedMarek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski. 452-476
- Towards the Semantics of the Definitional Language of MetaSoftMarek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski. 471-503
- On Conservative Extensions of Syntax in the Process of System DevelopmentAndrzej Blikle, Mikkel Thorup. 504-525
- A Formal Semantics for Z and the Link between Z and the Relational AlgebraM. J. van Diepen, Kees M. van Hee. 526-551
- A Naive Domain Universe for VDMAndrzej Tarlecki, Morten Wieth. 552-579