Z User Workshop, Cambridge 1994 - Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 (Paperback, Softcover reprint of the original 1st ed. 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. 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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Workshops in Computing
Release date:	July 1994
First published:	July 1994
Editors:	J.P. Bowen • J.A. Hall
Dimensions:	235 x 155 x 22mm (L x W x T)
Format:	Paperback
Pages:	405
Edition:	Softcover reprint of the original 1st ed. 1994
ISBN-13:	978-3-540-19884-0
Categories:	Books > Computing & IT > Computer programming > Object-oriented programming (OOP) Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-540-19884-9
Barcode:	9783540198840

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!