Interactive Systems. Design, Specification, and Verification

1. Front Matter

   PDF

2. EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System

   • Ann Blandford, Paul Curzon, Joanne Hyde, George Papatzanis

   Pages 1-14

3. Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums

   • Emmanuel Dubois, Cédric Bach, Philippe Truillet

   Pages 15-28

4. An Attentive Groupware Device to Mitigate Information Overload

   • Antonio Ferreira, Pedro Antunes

   Pages 29-42

5. Multi-fidelity User Interface Specifications

   • Thomas Memmel, Jean Vanderdonckt, Harald Reiterer

   Pages 43-57

6. HOPS: A Prototypical Specification Tool for Interactive Systems

   • Anke Dittmar, Toralf Hübner, Peter Forbrig

   Pages 58-71

7. Systematic Analysis of Control Panel Interfaces Using Formal Tools

   • J. Creissac Campos, M. D. Harrison

   Pages 72-85

8. Investigating System Navigation Ergonomics through Model Verification

   • Alexandre Scaico, Maria de F. Q. Vieira, Markson R. F. de Sousa, Charles Santoni

   Pages 86-91

9. Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications

   • D. Reichart, A. Dittmar, P. Forbrig, M. Wurdel

   Pages 92-95

10. Towards a Library of Workflow User Interface Patterns

    • Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González Calleros, Marco Winckler

    Pages 96-101

11. Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B

    • Leila Jemni Ben Ayed, Fatma Siala

    Pages 102-107

12. Pattern Languages as Tool for Discount Usability Engineering

    • Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit van der Veer

    Pages 108-120

13. Cascading Dialog Modeling with UsiXML

    • Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco Trindade

    Pages 121-135

14. Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors

    • Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes

    Pages 136-148

15. Lightweight Coding of Structurally Varying Dialogs

    • Michael Dunlavey

    Pages 149-154

16. ReWiRe: Designing Reactive Systems for Pervasive Environments

    • Geert Vanderhulst, Kris Luyten, Karin Coninx

    Pages 155-160

17. Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces

    • Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx

    Pages 161-166

18. A Model-Based Approach to Supporting Configuration in Ubiquitous Systems

    • Tony McBryan, Phil Gray

    Pages 167-180

19. Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications

    • Giulio Mori, Fabio Paternò, Lucio Davide Spano

    Pages 181-193

20. Resources for Situated Actions

    • Gavin Doherty, Jose Campos, Michael Harrison

    Pages 194-207

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.

• 3D interactions
• GUI
• adaptive interfaces
• augmented reality
• collaborative design
• critical systems
• design
• design model
• dynamic configuration
• formal methods
• formal specifications
• human computer interaction
• information visualizatio
• modeling
• verification

Policies and ethics