无能性
发表于 2025-3-28 14:49:26
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.
招待
发表于 2025-3-28 22:26:30
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
壮丽的去
发表于 2025-3-29 00:16:50
http://reply.papertrans.cn/27/2689/268826/268826_43.png
CLAY
发表于 2025-3-29 05:53:34
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
多产子
发表于 2025-3-29 10:51:54
http://reply.papertrans.cn/27/2689/268826/268826_45.png
grotto
发表于 2025-3-29 14:55:27
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
策略
发表于 2025-3-29 17:51:03
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
防御
发表于 2025-3-29 21:34:56
http://reply.papertrans.cn/27/2689/268826/268826_48.png
Eclampsia
发表于 2025-3-30 01:05:42
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
发表于 2025-3-30 05:10:16
http://reply.papertrans.cn/27/2689/268826/268826_50.png