Design, Specification and Verification of Interactive Systems ’97 PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Design, Specification and Verification of Interactive Systems ’97 PDF full book. Access full book title Design, Specification and Verification of Interactive Systems ’97 by Michael D. Harrison. Download full books in PDF and EPUB format.

Design, Specification and Verification of Interactive Systems ’97

Design, Specification and Verification of Interactive Systems ’97 PDF Author: Michael D. Harrison
Publisher: Springer Science & Business Media
ISBN: 3709168783
Category : Computers
Languages : en
Pages : 328

Get Book Here

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.