Asperity
发表于 2025-3-23 11:50:47
Combining Formal Techniques and Prototyping in User Interface Construction and Verificationle specification is used for constructing both implementations (prototypes) for experimentation and models for formal reasoning. Using a component-based approach not only allows us to construct realistic prototypes, but also allows us to generate a variety of formal models. Rapid prototyping allows
Delirium
发表于 2025-3-23 14:30:40
http://reply.papertrans.cn/27/2689/268825/268825_12.png
Gerontology
发表于 2025-3-23 21:27:24
Four different measures to quantify three usability attributes: ‘feedback’, ‘interactive directness’ product features. We present a new approach to measure user-interface quality in a quantitative way. First, we developed a concept to describe user-interfaces on a granularity level, that is detailed enough to preserve important interface characteristics, and is general enough to cover most of know
aristocracy
发表于 2025-3-24 01:43:58
http://reply.papertrans.cn/27/2689/268825/268825_14.png
最有利
发表于 2025-3-24 04:27:46
Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide coming from different perspectives: decomposition criteria in architecture design, dialog independence in user interface (UI) design, methodology to follow in a development team. These factors are not easy to conciliate, forcing designers to make trade offs or unbalanced choices. In this paper, we
kidney
发表于 2025-3-24 10:10:14
The Design of Narrative Virtual Environmentseen developed for this new technology. Existing software tools are very low level, forcing the application developer to use programming to produce most of the application code. Many VE applications will be developed by non-programmers, who don’t have the skill or time to use today’s low level tools.
cringe
发表于 2025-3-24 13:05:07
http://reply.papertrans.cn/27/2689/268825/268825_17.png
无法解释
发表于 2025-3-24 17:13:52
http://reply.papertrans.cn/27/2689/268825/268825_18.png
obeisance
发表于 2025-3-24 21:30:35
http://reply.papertrans.cn/27/2689/268825/268825_19.png
谈判
发表于 2025-3-24 23:15:35
The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident And their systems. Tool support can be recruited to validate the resulting nets. The sequences of events leading to an accident can be simulated and shown to human factors and systems engineers. This, in turn, may elicit further observations about the causes of an accident. A near collision analysed