Z User Workshop Cambridge 1994

This volume contains papers from the Eighth Z User Meeting to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods with particular reference to practical application. These issues include education standards tool support and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. <B>Z User</B> <B>Workshop Cambridge 1994</B> provides an important overview of current research into industrial applications of Z and will provide invaluable reading for researchers postgraduate students and also potential industrial users of Z.