Interactive Systems. Design, Specification, and Verification

Interactive Systems. Design, Specification, and Verification
Author :
Publisher : Springer
Total Pages : 253
Release :
ISBN-10 : 9783540446750
ISBN-13 : 3540446753
Rating : 4/5 (50 Downloads)

Book Synopsis Interactive Systems. Design, Specification, and Verification by : Philippe Palanque

Download or read book Interactive Systems. Design, Specification, and Verification written by Philippe Palanque and published by Springer. This book was released on 2003-06-29 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).


Interactive Systems. Design, Specification, and Verification Related Books

Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 253
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD 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: 280
Authors: Gavin Doherty
Categories: Computers
Type: BOOK - Published: 2007-01-18 - Publisher: Springer Science & Business Media

DOWNLOAD 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: 443
Authors: Fabio Paterno
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD 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: 277
Authors: Stephen W. Gilroy
Categories: Computers
Type: BOOK - Published: 2006-05-26 - Publisher: Springer

DOWNLOAD EBOOK

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

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Syst