Z User Workshop, Cambridge 1994

Released on by J.P. Bowen
preview-18

  • Z User Workshop, Cambridge 1994 Book Detail

  • Author : J.P. Bowen
  • Release Date : 2012-12-06
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 405
  • ISBN 13 : 1447134524
  • File Size : 5,5 MB
DOWNLOAD BOOK

Z User Workshop, Cambridge 1994 by J.P. Bowen PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Z User Workshop, Cambridge 1994 books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Z User Workshop, Cambridge 1994

Z User Workshop, Cambridge 1994

File Size : 47,47 MB
Total View : 7438 Views
DOWNLOAD

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 i