Interactive Systems. Design, Specification, and Verification

Interactive Systems. Design, Specification, and Verification

4.11 - 1251 ratings - Source

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 Queena€™s University in Kingston, Canada, during July 16a€“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 Queena€™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.15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings T. C. Nicholas Graham, ... asked to use the tool during a Volkswagen use-case study on the specification of rear-seat entertainment systems. ... Students also reported issues with integrated external documents ( PDF, Word, etc.)anbsp;...

Title:Interactive Systems. Design, Specification, and Verification
Author:T. C. Nicholas Graham, Philippe Palanque
Publisher:Springer - 2008-07-16


You Must CONTINUE and create a free account to access unlimited downloads & streaming