Design, Specification and Verification of Interactive Systems ’97
Download or Read eBook Design, Specification and Verification of Interactive Systems ’97 PDF written by Michael D. Harrison and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 328 pages. Available in PDF, EPUB and Kindle.
| Author | : Michael D. Harrison |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 328 |
| Release | : 2012-12-06 |
| ISBN-10 | : 9783709168783 |
| ISBN-13 | : 3709168783 |
| Rating | : 4/5 (83 Downloads) |
Book Synopsis Design, Specification and Verification of Interactive Systems ’97 by : Michael D. Harrison
Book excerpt: 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.
