Interactive Systems - Design, Specification and Verification
N/A
€ 67.04
FREE Delivery in Ireland
Description for Interactive Systems - Design, Specification and Verification
Paperback. These papers cover the design, specification, and verification of interactive systems from the human-computer interaction point of view. and the use of models in supporting design and development of interactive systems and user interfaces for ubiquitous computing. Series: Lecture Notes in Computer Science. Num Pages: 284 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 402.
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.
The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
284
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
274
Place of Publication
Berlin, Germany
ISBN
9783540002666
SKU
V9783540002666
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Interactive Systems - Design, Specification and Verification