default search action
8th Z User Workshop 1994: Cambridge, UK
- Jonathan P. Bowen, J. Anthony Hall:
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
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 Kim Chung 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. Z User Workshop 1994: 359-396 - Jonathan P. Bowen:
Comp.specification.z and Z FORUM Frequently Asked Questions. Z User Workshop 1994: 397-403
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-07 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: