This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.
The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.
Author(s): Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.)
Series: Lecture Notes in Computer Science 5136 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 314
Tags: User Interfaces and Human Computer Interaction; Multimedia Information Systems; Information Storage and Retrieval; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks
Front Matter....Pages -
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System....Pages 1-14
Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums....Pages 15-28
An Attentive Groupware Device to Mitigate Information Overload....Pages 29-42
Multi-fidelity User Interface Specifications....Pages 43-57
HOPS: A Prototypical Specification Tool for Interactive Systems....Pages 58-71
Systematic Analysis of Control Panel Interfaces Using Formal Tools....Pages 72-85
Investigating System Navigation Ergonomics through Model Verification....Pages 86-91
Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications....Pages 92-95
Towards a Library of Workflow User Interface Patterns....Pages 96-101
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B....Pages 102-107
Pattern Languages as Tool for Discount Usability Engineering....Pages 108-120
Cascading Dialog Modeling with UsiXML....Pages 121-135
Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors....Pages 136-148
Lightweight Coding of Structurally Varying Dialogs....Pages 149-154
ReWiRe: Designing Reactive Systems for Pervasive Environments....Pages 155-160
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces....Pages 161-166
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems....Pages 167-180
Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications....Pages 181-193
Resources for Situated Actions....Pages 194-207
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces....Pages 208-224
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces....Pages 225-237
Executable Models for Human-Computer Interaction....Pages 238-251
A Middleware for Seamless Use of Multiple Displays....Pages 252-266
Graphic Rendering Considered as a Compilation Chain....Pages 267-280
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations....Pages 281-286
Towards Characterizing Visualizations....Pages 287-293
Towards Usability Evaluation for Smart Appliance Ensembles....Pages 294-299
Task Model Refinement with Meta Operators....Pages 300-305
Utilizing Dynamic Executable Models for User Interface Development....Pages 306-309
Back Matter....Pages -
