Z User Workshop, Cambridge, 1994

This volume contains papers from the Eighth Z User Meeting, which was 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.

ISBN 3540198849   Weight (grammes) 720 ISBN13 9783540198840 (What's this?)   Published in Berlin Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG   Conference location Cambridge Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K   Conference name Z User Workshop Format Paperback   Conference year 1994 Publication date 30 Jun 1994   Series editor Rijsbergen, C.J. van Library of Congress QA76.73.Z2   Series title Workshops in Computing DEWEY 005.133   Height (mm) 216 DEWEY edition DC20   Width (mm) 138 Pages 384   Academic level Postgraduate, Professional / Scholarly

 Be the first to write a customer review