Infiltrate 发表于 2025-4-1 05:06:58

Dilara Kara,Taha Ibrahim Yildiz, and the links with the actual interface). The tools that support the process are then described. The conclusion identifies the limits of the approach, the relationships with similar approaches and further research work.

复习 发表于 2025-4-1 06:03:01

https://doi.org/10.1007/978-1-4615-2073-3 evolution of agents, time controlling, event oriented or supervised behaviour, interactive techniques, visual programming constructs, rapid prototyping, and intelligent user interfaces. All model entities may be defined by direct manipulation techniques.

眉毛 发表于 2025-4-1 10:19:20

Reducing the Risk of Cardiovascular Diseaseplacing requirements on the presentation mapping. We consider in detail these requirements, and the manner in which we can verify their satisfaction. Taking this approach, we can prove that a presentation is valid with respect to a given property, and thus extend our reasoning into the perceptual domain of the presentation.

Essential 发表于 2025-4-1 17:59:50

https://doi.org/10.1007/978-1-4614-3480-1and terms of . user interfaces do rather than . they do it. The two aspects are related so that an analyst can judge whether changes in the interface model cause required improvements in the use of the system. Some of the implications of this approach are discussed and a comparison is made to other formal approaches in HCI.

Sarcoma 发表于 2025-4-1 19:16:16

http://reply.papertrans.cn/27/2689/268827/268827_65.png

鸽子 发表于 2025-4-2 02:03:15

PAC-ing the Architecture of Your User Interface,ot always clearly articulated nor do they explicitly exploit the foundational concepts developed recently in main-stream software architecture engineering. Similarly, technical solutions from main-stream software engineering may improve portability and reusability at the code level while hindering t

Morbid 发表于 2025-4-2 04:25:22

http://reply.papertrans.cn/27/2689/268827/268827_67.png

外星人 发表于 2025-4-2 08:54:20

http://reply.papertrans.cn/27/2689/268827/268827_68.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Design, Specification and Verification of Interactive Systems ’97; Proceedings of the E Michael Douglas Harrison,Juan Carlos Torres Confere