Share
design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997 (in English)
Michael D. Harrison
(Illustrated by)
·
Juan C. Torres
(Illustrated by)
·
Springer
· Paperback
design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997 (in English) - Harrison, Michael D. ; Torres, Juan C.
$ 52.09
$ 54.99
You save: $ 2.90
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Thursday, June 20 and
Friday, June 21.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997 (in English)"
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.