ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
Springer, Oct 30, 1998 - Z (Computer program language) - 417 pages
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
application approach Astate axiomatic behaviour BINTREE C. A. R. Hoare calculate components Computer Science concrete tests conservative extension consistency constraints control variables Cstate data refinement declaration defined derive described diagrams discrete disjoint downward simulation editors event Event Calculus example extended finalisation finite state machine formal methods formal specification function global Hall International Series hybrid systems implementation initialisation input integration interface J. C. P. Woodcock J. P. Bowen Lecture Notes lift system logic M. G. Hinchey mathematical Nicholls Notes in Computer object object-oriented Object-Z output parameters precondition predicative programming Prentice Hall International Proc proof rules prove real-time recursive refinement rules retrieve relation schema schema expressions semantics sequence Software Engineering space Spivey rules Springer-Verlag Standard structure surjective function syntax TCOZ templates theorem theory tion tool toolkit transition upward simulation User Workshop ZimOO