## ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. ProceedingsThis 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.

### Contents

LanguageFree Mathematical Methods for Software Design Invited Paper | 3 |

Refining Database Systems | 25 |

Structuring a Z Specification to Provide a Formal Framework for Autonomous | 47 |

Copyright | |

28 other sections not shown

### Other editions - View all

### Common terms and phrases

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