Interactive Systems: Design, Specification, and Verification

Interactive Systems: Design, Specification, and Verification

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.

Download Now
Author
Publisher Springer
Release Date
ISBN 3540362355
Pages 274 pages
Rating 4/5 (57 users)

More Books:

Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 274
Authors: Bodo Urban
Categories: Computers
Type: BOOK - Published: 2003-07-01 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive S
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 427
Authors: DSV-IS 2003
Categories: Computers
Type: BOOK - Published: 2003-10-09 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Syst
Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 274
Authors: Bodo Urban
Categories: Computers
Type: BOOK - Published: 2002-12-19 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive S
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 276
Authors: Gavin Doherty
Categories: Computers
Type: BOOK - Published: 2007-01-18 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Syst
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 314
Authors: T. C. Nicholas Graham
Categories: Computers
Type: BOOK - Published: 2008-07-01 - Publisher: Springer Science & Business Media

GET EBOOK

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handhe
Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 221
Authors: Chris J. Johnson
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive S
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 258
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whet
Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 447
Authors: Fabio Paterno
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application prog
Interactive Systems. Design Specification, and Verification
Language: en
Pages: 276
Authors: Stephen W. Gilroy
Categories: Computers
Type: BOOK - Published: 2006-05-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS
Design, Specification and Verification of Interactive Systems ’98
Language: en
Pages: 326
Authors: Panos Markopoulos
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

GET EBOOK

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever in