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

无能性

Toward more understandable user interface specificationsehensibility of specifications is described. The results of this study suggest that user interface specifications are difficult to interpret manually. A possible solution to this problem, specification animation, is also described.

招待

The Evaluation Of User Interface Notationse use of natural language descriptions. More surprisingly, our results also suggest a link between the frequency of comprehension errors and positive attitude statements towards particular notations. In other words, our subjects made most errors with the notations that they liked the best. This sugg

壮丽的去

CLAY

Retrospective and Challenges for Model-Based Interface Developmentsities and research laboratories around the world. This paper proposes a generic architecture for these tools, reviews the different approaches in light of this architecture, and discusses their progress towards the goals of increasing the quality and reducing the cost of developing interfaces. The

多产子

grotto

Abstract Interpretation and Application to Interactive System Verificationsed for verification and is thus of interest for interactive system verification. The aim of this paper is twofold: Firstly, a survey of the methodology of abstract interpretation is presented; secondly, some favourite formalisms and notations from the interactive system verification area axe review

策略

Device Models that they can invoke. This work sets out a new approach to evaluating the usability of devices, one that accounts for the cognitive resources needed to use the device to perform particular tasks. The framework draws its expressive power from a technique called syndetic modelling that allows the des

防御

Eclampsia

Deriving a formal model of an interactive system from its UIL description in order to verify and to l systems. In order to verify that the interface of a system behaves as intended by the user, we based our ongoing research on a compromise by allowing the use of informal (but practical) and formal methods. In fact, a formal description of the user’s interests and activities through the Interface s

Osteoarthritis