敌手
发表于 2025-3-30 12:14:37
http://reply.papertrans.cn/32/3111/311022/311022_51.png
广告
发表于 2025-3-30 15:36:24
Interactive System Safety and Usability Enforced with the Development Processhis technique -that uses proofs obligations- can ensure both usability and safety requirements, from the specification step of the development process, to the implementation. This technique is illustrated by a case study: a simplified user interface for a Full Authority Digital Engine Control (FADEC) of a single turbojet engine aircraft.
搬运工
发表于 2025-3-30 17:13:49
Unconstrained vs. Constrained 3D Scene Manipulationints. In this publication we discuss an experiment that compares two different 3D manipulation interfaces via 2D input devices. The results show clearly that the new constraint-based interface performs significantly better than previous work.
compel
发表于 2025-3-30 21:13:26
https://doi.org/10.1007/978-3-319-75638-7ating model-based approaches for interactive applications, particular attention has been paid to task models. ConcurTaskTrees is one of the most widely used notations for task modelling. This paper discusses a solution for obtaining a UML for interactive systems based on the integration of the two approaches and why this is a desirable goal.
admission
发表于 2025-3-31 04:52:44
http://reply.papertrans.cn/32/3111/311022/311022_55.png
巩固
发表于 2025-3-31 06:00:49
http://reply.papertrans.cn/32/3111/311022/311022_56.png
浅滩
发表于 2025-3-31 11:37:35
http://reply.papertrans.cn/32/3111/311022/311022_57.png
心痛
发表于 2025-3-31 17:24:29
https://doi.org/10.1007/978-3-031-33246-3developed the Marigold toolset which provides a transition from one such formalism, Flownets, to a prototype-implementation. In this paper we demonstrate the use of the Marigold toolset for prototyping a small environment.
Vital-Signs
发表于 2025-3-31 19:45:58
The Future of Cultural Minoritiests trigger calls to action procedures and the application can change widget state by invoking handler objects. Both action procedures and handler objects can be embedded in the data structures used by the declarative approach.
Perineum
发表于 2025-3-31 23:53:10
https://doi.org/10.1057/9780230110397tions, predictive usability analysis can be performed by considering the ergonomic property of consistency. We illustrate this analysis on the redesign of a computer assisted surgical application, CASPER.