Michael Douglas Harrison
Design, Specification and Verification of Interactive Systems '97
Michael Douglas Harrison · 1997
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonAbout the book
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.
Book details
- Year
- 1997
- Language
- English
- Series
- Eurographics, 0946-2767
- Publisher
- Springer Vienna
- Editions
- 1
- Pages
- 320
- ISBN
- 9783709168783
Data source: Wikidata