ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Jonathan P. Bowen, Michael G. Hinchey
Springer, Sep 28, 1995 - Computers - 571 pages
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
What people are saying - Write a review
We haven't found any reviews in the usual places.
LanguageFree Mathematical Methods for Software Design Invited Paper
Refining Database Systems
Structuring a Z Specification to Provide a Formal Framework for Autonomous
28 other sections not shown
Other editions - View all
abstract agent allows apply arml behaviour binding Bowen calculus components Computer Science constraints construction database declaration defined definition described document domain editors elements entry environment error evaluation example expression extended formal methods formal specification function given Godel higher-order abstract syntax hypertext implementation inheritance input instantiated interface interpretation invariant J. C. P. Woodcock J. P. Bowen Larch Larch Prover layer literate programming logic mathematical modules monoid neural network neurons Nicholls node notation object object-oriented Object-Z operation schemas output partition pre-condition predicate programming language proof properties prove provides reference refinement relation requirements result robot robot-orientation rules semantics sequence SGML software development Software Engineering software testing specification language Spivey Springer-Verlag structure subtype syntax Technical Report techniques theorem tion transformation tuple University values variables Workshop ZPIU