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

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Worden94
- ask others
Robert P. Worden: Fermenting and Distilling. 1-6

Applications

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/WoodcockGH94
- ask others
Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. 9-28
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/MatagaZ94
- ask others
Peter Mataga, Pamela Zave: Formal Specification of Telephone Features. 29-50
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/CarringtonS94
- ask others
David A. Carrington, Phil Stocks: A Tale of Two Paradigms: Formal Methods and Software Testing. 51-68

Education

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Garlan94
- ask others
David Garlan: Integrating Formal Methods into a Professional Master of Software Engineering Program. 71-85

Object-Orientation I

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Smith94
- ask others
Graeme Smith: An Object-Oriented Development Framework for Z. 89-107
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/WezemanJ94
- ask others
Clazien D. Wezeman, Anthony J. Judge: Z for Managed Objects. 108-119
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Hall94
- ask others
Anthony Hall: Specifying and Interpreting Class Hierarchies in Z. 120-138

Semantics

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/BowenG94
- ask others
Jonathan P. Bowen, Michael J. C. Gordon: Z and HOL. 141-167
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Baumann94
- ask others
Peter Baumann: Z and Natural Semantics. 168-184
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/BreuerB94
- ask others
Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. 185-209

Methods

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/HallM94
- ask others
Jon G. Hall, John A. McDermid: Towards a Z Method: Axiomatic Specification in Z. 213-229
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/PolackM94
- ask others
Fiona Polack, Keith Mander: Software Quality Assurance Using the SAZ Method. 230-249
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/DillerD94
- ask others
Antoni Diller, Rosemary Docherty: Z and Abstract Machine Notation: A Comparison. 250-263

Concurrency

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Lamport94
- ask others
Leslie Lamport: TLZ. 267-268
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Evans94
- ask others
Andy Evans: Visualising Concurrent Z Specifications. 269-281
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Engel94
- ask others
Marcin Engel: Specifying Real-Time Systems with Z and the Duration Calculus. 282-294

Object-Orientation II

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/ChanT94
- ask others
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
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Hammond94
- ask others
Jonathan Hammond: Producing Z Specifications from Object-Oriented Analysis. 316-336
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Hasselbring94
- ask others
Wilhelm Hasselbring: Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 337-356

Appendices

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Bowen94
- ask others
Jonathan P. Bowen: Select Z Bibliography. 359-396
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/zum/Bowen94a
- ask others
Jonathan P. Bowen: Comp.specification.z and Z FORUM Frequently Asked Questions. 397-403