Design, Specification and Verification of Interactive Systems ’97

Released on by Michael D. Harrison
preview-18

  • Design, Specification and Verification of Interactive Systems ’97 Book Detail

  • Author : Michael D. Harrison
  • Release Date : 2012-12-06
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 328
  • ISBN 13 : 3709168783
  • File Size : 16,16 MB
DOWNLOAD BOOK

Design, Specification and Verification of Interactive Systems ’97 by Michael D. Harrison PDF Summary

Book Description: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

Disclaimer: www.yourbookbest.com does not own Design, Specification and Verification of Interactive Systems ’97 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.