Titlebook: Design, Specification and Verification of Interactive Systems ’97; Proceedings of the E Michael Douglas Harrison,Juan Carlos Torres Confere

HEED

敏捷

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

節(jié)省

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.

混沌

ANIM

披肩

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

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

煩憂

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.