.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Design, Specification and Verification of Interactive Systems
. Ed(S): Harrison, M.D.; Torres, J. C.
€ 68.32
FREE Delivery in Ireland
Description for Design, Specification and Verification of Interactive Systems
Paperback. This volume seeks to reflect the state of the art in the area of design, specification and verification of interactive systems. It also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study. Editor(s): Harrison, M.D.; Torres, J. C. Series: Eurographics. Num Pages: 320 pages, 56 black & white illustrations. BIC Classification: UYD; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 18. Weight in Grams: 660.
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.
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.
Product Details
Format
Paperback
Publication date
1997
Publisher
Springer Verlag GmbH Austria
Number of pages
320
Condition
New
Series
Eurographics
Number of Pages
320
Place of Publication
Vienna, Austria
ISBN
9783211830550
SKU
V9783211830550
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Design, Specification and Verification of Interactive Systems