This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.
The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.
Author(s): Paul Curzon, Ann Blandford (auth.), Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban (eds.)
Series: Lecture Notes in Computer Science 2545
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 274
Tags: Computer Science, general; Software Engineering; Logics and Meanings of Programs; Information Storage and Retrieval; User Interfaces and Human Computer Interaction
From a Formal User Model to Design Rules....Pages 1-15
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling....Pages 16-28
Adaptive User Interface for Mobile Devices....Pages 29-43
Migratable User Interface Descriptions in Component-Based Development....Pages 44-58
Task Modelling in Multiple Contexts of Use....Pages 59-73
Notational Support for the Design of Augmented Reality Systems....Pages 74-88
Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing....Pages 89-103
Combining Compound Conceptual User Interface Components with Modelling Patterns — A Promising Direction for Model-Based Cross-Platform User Interface Development....Pages 104-117
Multiple User Interfaces: Towards a Task-Driven and Patterns-Oriented Design Model....Pages 118-132
Foundations of Cognitive Support: Toward Abstract Patterns of Usefulness....Pages 133-147
User Interface Design Patterns for Interactive Modeling in Demography and Biostatistics....Pages 148-158
User Interface Conceptual Patterns....Pages 159-172
Monitoring Human Faces from Multi-view Image Sequences....Pages 173-184
Improving Mouse Navigation — A Walk through the “Hilly Screen Landscape”....Pages 185-195
Designing User Interaction for Face Tracking Applications....Pages 196-207
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems....Pages 208-222
Blending Descriptive and Numeric Analysis in Human Reliability Design....Pages 223-237
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces....Pages 238-252
Architecture Considerations for Interoperable Multi-modal Assistant Systems....Pages 253-267
