HEED
发表于 2025-3-28 15:26:17
http://reply.papertrans.cn/27/2689/268827/268827_41.png
敏捷
发表于 2025-3-28 19:24:40
Dilara Kara,Taha Ibrahim Yildizs and analyse unexpected defects in their design. We also identify properties that are meaningful to the application designer and users, and show how they can be formally checked on a transducer-based model of the application.
bronchodilator
发表于 2025-3-29 02:53:14
http://reply.papertrans.cn/27/2689/268827/268827_43.png
节省
发表于 2025-3-29 05:37:50
PAC-ing the Architecture of Your User Interface,specific domain of user interface software design using PAC as the running example. We present a brief evolution of the architectural models for single-user systems that motivated PAC. We then unfold PAC into PAC* for designing the conceptual architecture of multi-user systems.
混沌
发表于 2025-3-29 09:26:04
http://reply.papertrans.cn/27/2689/268827/268827_45.png
ANIM
发表于 2025-3-29 13:59:46
http://reply.papertrans.cn/27/2689/268827/268827_46.png
披肩
发表于 2025-3-29 18:24:19
Formally Verifying Interactive Systems: A Review,and also as interactions between operators and automation in safety-critical environments becomes more complex. This paper reviews progress in the area of formal verification of interactive systems and proposes a short agenda for further work.
Monolithic
发表于 2025-3-29 20:55:03
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation le, 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.
CURT
发表于 2025-3-30 02:23:59
http://reply.papertrans.cn/27/2689/268827/268827_49.png
烦忧
发表于 2025-3-30 05:56:18
A Representational Approach to the Specification of Presentations,placing 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.