Interactive Systems : Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings - T. C. Nicholas Graham

Interactive Systems

Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

By: T. C. Nicholas Graham (Editor), Philippe Palanque (Editor)

Paperback | 1 July 2008

At a Glance

Paperback


$101.07

Aims to ship in 7 to 10 business days

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays. Developers of modern interactive systems face great problems: how to design applications which will work well with newly available technologies, and how to efficiently and correctly implement such designs. Design, Specification and Verification of Interactive Systems 2008 was the 15th of a series of annual workshops devoted to helping designers and implementers of interactive systems unleash the power of modern interaction devices and techniques. DSV-IS 2008 was held at Queen's University in Kingston, Canada, during July 16-18, 2008. This book collects the best papers submitted to the workshop. There were 17 full papers, 10 late-breaking and experience report papers, and two demonstrations. Keynote presentations were provided by Judy Brown of Carleton University and Randy Ellis of Queen's University. The first day of the workshop addressed the problems of user interface evaluation and specification, with particular emphasis on the use of task models to provide hi- level approaches for capturing the intended functionality of a user interface. Day two continued this theme, examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications. Presenters also discussed advanced implem- tation techniques for interactive systems. Finally, day three considered how to arc- tect interactive systems, and returned to the themes of evaluation and specification.

More in Operating Systems

Command-Line Rust : A Project-Based Primer for Writing Rust CLIs - Ken Youens Clark
Windows 10 For Dummies : 4th edition - Andy Rathbone

RRP $41.95

$35.95

14%
OFF
macOS Monterey For Dummies : For Dummies (Computer/Tech) - Bob LeVitus
Windows 11 For Seniors For Dummies : For Dummies (Computer/Tech) - Curt Simmons
Office 2021 for Macs For Dummies : For Dummies (Computer/Tech) - Bob LeVitus
Samsung Galaxy S21 For Dummies : For Dummies (Computer/Tech) - Bill Hughes
Ubuntu Linux Bible : Bible - David Clinton

RRP $82.95

$55.00

34%
OFF
Windows 10 Portable Genius : Portable Genius - Paul McFedries

RRP $32.95

$23.75

28%
OFF
iPhone Portable Genius : 6th Edition - Paul McFedries

RRP $32.95

$30.25

Learning Visual Basic .NET : LEARNING - Jesse Liberty

RRP $66.50

$31.95

52%
OFF
Extreme Programming Pocket Guide : Pocket References Ser. - Chromatic
iPod Fan Book : Fan Books - Yasukuni Notomi

RRP $28.50

$19.25

32%
OFF
JUNOS Cookbook : Cookbooks (O'Reilly) - Aviva Garrett

RRP $104.50

$49.75

52%
OFF
sed & awk : UNIX Power Tools - Dale Dougherty

RRP $95.00

$39.50

58%
OFF
macOS Mojave in easy steps : Covers v 10.14 - Nick Vandome
Designing Web APIs : Building APIs That Developers Love - Brenda Jin