Opening book details…
Can I read Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 on EtoBox?
Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 by Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.) is a nonfiction available to read on EtoBox.
What is Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 about?
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. **Z User****Workshop, Cambridge 1994** 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.
Who reads Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.)
- Publisher
- Springer-Verlag London
- Published
- 1994
- Language
- EN
- ISBN
- 9783540198840
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Programming
Other editions & translations
More by Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.)
Browse all works by Robert Worden (auth.), J. P. Bowen MA, J. A. Hall MA, DPhil, CEng (eds.)
Similar books
- Information Hiding: First International Workshop, Cambridge, U.K., May 30 - June 1, 1996. Proceedings (Lecture Notes in Computer Science, 1174) — Ross Anderson; Information Hiding International Workshop (1996)
- A future for knowledge acquisition : 8th European Knowledge Acquisition Workshop, EKAW '94, Hoegaarden, Belgium, September 26-29, 1994 ; proceedings — Guus Schreiber, Bob Wielinga, Hans Akkermans (auth.), Luc Steels, Guus Schreiber, Walter Van de Velde (1994)
- Design, specification and verification of interactive systems '99 : proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 ; Eurographics — M. A. Srinivasan, C. Basdogan, C.-H. Ho (auth.), Dr. David Duke, Dr. Angel Puerta (1999)
- User Modeling, Adaptation and Personalization : 23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings — Francesco Ricci, Kalina Bontcheva, Owen Conlan, Séamus Lawless (2015)
- Frontiers in algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : proceedings — Jianer Chen, John E. Hopcroft, Jianxin Wang (2014)
- 4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, Organised by BCS-FACS, 9–11 January 1991, Cambridge — Robert Worden (auth.), Joseph M. Morris PhD, Roger C. Shaw (1991)
