author : J. Anthony Hall

Contents

• Robert Worden. Fermenting and Distilling. 1994

• Jim Woodcock, Paul H. B. Gardiner, J.R. Hulance. The Formal Specification in Z of Defence Standard 00-56. 1994

• Peter Mataga, Pamela Zave. Formal Specification of Telephone Features. 1994

• David Carrington, Phil Stocks. A Tale of Two Paradigms: Formal Methods and Software Testing. 1994

• David Garlan. Integrating Formal Methods into a Professional Master of Software Engineering Program. 1994

• Graeme Smith. An Object-Oriented Development Framework for Z. 1994

• Clazien Wezeman, Tony J. Judge. Z for Managed Objects. 1994

• J. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. 1994

• Jonathan P. Bowen, Mike J. C. Gordon. Z and HOL. 1994

• Peter Baumann. Z and Natural Semantics. 1994

• Peter T. Breuer, Jonathan P. Bowen. Towards Correct Executable Semantics for Z. 1994

• Jon G. Hall, John A. McDermid. Towards a Z Method: Axiomatic Specifications in Z. 1994

• Fiona Polack, Keith C. Mander. Software Quality Assurance Using the SAZ Method. 1994

• Antoni Diller, Rosemary Docherty. Z and Abstract Machine Notation: A Comparison. 1994

• Leslie Lamport. TLZ (abstract). 1994

• Andy S. Evans. Visualising Concurrent Z Specifications. 1994

• Marcin Engel. Specifying Real-Time Systems with Z and the Duration Calculus. 1994

• Daniel K. C. Chan, Philip W. Trinder. An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. 1994

• Jonathan Hammond. Producing Z Specifications from Object-Oriented Analysis. 1994

• W. Hasselbring. Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 1994