Books
Short works
Books : reviews
Jonathan P. Bowen, J. Anthony Hall, eds.
8th Z User Workshop: Cambridge 1994.
Springer. 1994
(read but not reviewed)
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