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
Applications
Education
- David Garlan:
Integrating Formal Methods into a Professional Master of Software Engineering Program.
71-85
Object-Orientation I
Semantics
Methods
Concurrency
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
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