Share
design, specification and verification of interactive systems '97: proceedings of the eurograhics workshop in granada, spain, june 4-6, 1997
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 - Harrison, Michael D. ; Torres, Juan C.
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, June 28 and
Tuesday, July 16.
You will receive it anywhere in United Kingdom 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"
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.