This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.
Author(s): Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.)
Series: Lecture Notes in Computer Science 2220
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 221
Tags: User Interfaces and Human Computer Interaction; Computer Graphics; Software Engineering; Logics and Meanings of Programs
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices....Pages 1-15
Model-Based User Interface Design Using Markup Concepts....Pages 16-27
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems....Pages 28-48
Task Modelling for Context-Sensitive User Interfaces....Pages 49-68
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis....Pages 69-87
A Tool Suite for Integrating Task and System Models through Scenarios....Pages 88-113
Temporal Patterns for Complex Interaction Design....Pages 114-127
Modelling Dynamic Group Behaviours....Pages 128-143
Reasoning about Interactive Systems with Stochastic Models....Pages 144-163
Towards Uniformed Task Models in a Model-Based Approach....Pages 164-182
Heuristic Evaluation of Website Attractiveness and Usability....Pages 183-198
Affordance and Symmetry....Pages 199-217
