Titlebook: Design, Specification and Verification of Interactive Systems ’96; Proceedings of the E Francois Bodart,Jean Vanderdonckt Conference procee

conduct

Lucubrate

Towards an integrated proposal for Interactive Systems design based on TLIM and ICO an open issue the identification of systematic methods able to support designers and developers in specifying and demonstrating properties of user interfaces. TLIM and ICO are two formal methods which have been used for this purpose with interesting results. They address similar concepts but also h

Ligneous

The Evaluation Of User Interface Notationshese notations are intended to strip away the clutter of implementation details that frequently obscure interaction properties. Unfortunately, relatively little work has been done to evaluate the usability of these notations for ‘real-world’ interfaces. We have, therefore, conducted an empirical eva

Hemiparesis

Sputum

Risk Analysis, Impact and Interaction Modellingrs are aware of the relationships between their design decisions, operator errors, and the hazards associated with a system. In this paper, we demonstrate how information from risk analysis can be combined with formal specification of the HMI, to support designers in exploring these relationships. W

abolish

Design assistance for user-adapted interactionticulation of user interface adaptation constituents during the early phases of design and development of a user interface. It is claimed that this type of adaptation support is required to ensure accessibility of a user interface by different user groups with varying abilities, requirements and pre

Gnrh670

FLOUR

乞討

6Applepolish

Evaluating the Interfaces of Three Theorem Proving Assistantsdomain. We examine three TPAs employing quite different styles of interaction. We consider the support provided by the interfaces for each of four mechanisms for efficient interactive proof: planning, reuse, reflection and articulation. Common themes are observed, as are strengths and weaknesses of