conduct
发表于 2025-3-30 09:43:04
http://reply.papertrans.cn/27/2689/268826/268826_51.png
Lucubrate
发表于 2025-3-30 15:48:05
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
发表于 2025-3-30 16:46:33
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
发表于 2025-3-30 23:50:06
http://reply.papertrans.cn/27/2689/268826/268826_54.png
Sputum
发表于 2025-3-31 04:55:24
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
发表于 2025-3-31 08:41:19
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
发表于 2025-3-31 13:10:31
http://reply.papertrans.cn/27/2689/268826/268826_57.png
FLOUR
发表于 2025-3-31 13:54:29
http://reply.papertrans.cn/27/2689/268826/268826_58.png
乞讨
发表于 2025-3-31 20:27:04
http://reply.papertrans.cn/27/2689/268826/268826_59.png
6Applepolish
发表于 2025-3-31 22:56:21
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