Pulmonary-Veins
发表于 2025-3-27 00:22:09
More Precise Descriptions of Temporal Relations within Task Models action model by additional temporal constraints is suggested. Thus, a more general models can be specified which can be adapted to actual conditions. The . allows a more precise modelling of temporal relations between subactions. This approach can contribute to a more flexible task modelling.
Hamper
发表于 2025-3-27 03:25:34
http://reply.papertrans.cn/48/4706/470558/470558_32.png
avulsion
发表于 2025-3-27 07:50:36
http://reply.papertrans.cn/48/4706/470558/470558_33.png
施舍
发表于 2025-3-27 09:53:33
http://reply.papertrans.cn/48/4706/470558/470558_34.png
BRAWL
发表于 2025-3-27 17:06:00
Conference proceedings 2001t was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agenc
cultivated
发表于 2025-3-27 20:51:51
http://reply.papertrans.cn/48/4706/470558/470558_36.png
Conserve
发表于 2025-3-27 21:56:50
http://reply.papertrans.cn/48/4706/470558/470558_37.png
外向者
发表于 2025-3-28 02:32:20
SUIT — Context Sensitive Evaluation of User Interface Development Toolsand associated tool for investigating the suitability of user interface development tools (UIDTs) for use in software development organizations and projects. We also present the results of two informal empirical studies carried out in support of the development of our framework and method.
多样
发表于 2025-3-28 08:24:37
Structuring Interactive Systems Specifications for Executability and Prototypabilitythe ICO formal description technique) can effectively support the various phases of the life cycle. The concepts and the tool are presented on a Range Slider case study. The Range Slider is a medium size component, used for instance, in the field of dynamic queries for information retrieval and visualisation.
arcane
发表于 2025-3-28 11:51:14
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Propertieshow the resulting environment can be helpful in reasoning about multi-user interactions using the task model of an interactive application. Examples are provided from a case study in the field of air traffic control.