8. Z User Workshop 1994: Cambridge, UK

Jonathan P. Bowen, J. A. Hall (Eds.): Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Workshops in Computing, Springer/BCS 1994, ISBN 3-540-19884-9

Robert P. Worden: Fermenting and Distilling. 1-6

Applications

Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. 9-28
Peter Mataga, Pamela Zave: Formal Specification of Telephone Features. 29-50
David A. Carrington, Phil Stocks: A Tale of Two Paradigms: Formal Methods and Software Testing. 51-68

Education

David Garlan: Integrating Formal Methods into a Professional Master of Software Engineering Program. 71-85

Object-Orientation I

Graeme Smith: An Object-Oriented Development Framework for Z. 89-107
Clazien D. Wezeman, Anthony J. Judge: Z for Managed Objects. 108-119
Anthony Hall: Specifying and Interpreting Class Hierarchies in Z. 120-138

Semantics

Jonathan P. Bowen, Michael J. C. Gordon: Z and HOL. 141-167
Peter Baumann: Z and Natural Semantics. 168-184
Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. 185-209

Methods

Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. 213-229
Fiona Polack, Keith Mander: Software Quality Assurance Using the SAZ Method. 230-249
Antoni Diller, Rosemary Docherty: Z and Abstract Machine Notation: A Comparison. 250-263

Concurrency

Leslie Lamport: TLZ. 267-268
Andy Evans: Visualising Concurrent Z Specifications. 269-281
Marcin Engel: Specifying Real-Time Systems with Z and the Duration Calculus. 282-294

Object-Orientation II

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. 297-315
Jonathan Hammond: Producing Z Specifications from Object-Oriented Analysis. 316-336
Wilhelm Hasselbring: Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 337-356

Appendices

Jonathan P. Bowen: Select Z Bibliography. 359-396
Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 397-403

Last update Fri May 25 08:51:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page