Titlebook: Engineering for HCI; Leonard J. Bass,Claus Unger Book 1996 IFIP International Federation for Information Processing 1996 CSCW.Design.Inter

啜泣

LAPSE

https://doi.org/10.1057/9780230620858A formal specification technique for specification of interactive systems is described. The abstract behavior of the system is described first, and a formal description of a concrete user interface is added to the abstract description as a refinement step. Interaction properties of the specified system can be analyzed by using the formal method.

Ambulatory

Adding user interface to a behavioral specificationA formal specification technique for specification of interactive systems is described. The abstract behavior of the system is described first, and a formal description of a concrete user interface is added to the abstract description as a refinement step. Interaction properties of the specified system can be analyzed by using the formal method.

indignant

IFIP Advances in Information and Communication Technologyhttp://image.papertrans.cn/e/image/311023.jpg

mortuary

Ointment

https://doi.org/10.1007/978-3-030-14533-0es of interactive systems. The paper discusses justification of transformation of functional specifications into user interface specification, and the use of a verification tool for verifying system properties. We will demonstrate how some properties can be formulated, so they can be used together with a system specification in a justification.

使苦惱

dictator

Systematic methods for user interface designes of interactive systems. The paper discusses justification of transformation of functional specifications into user interface specification, and the use of a verification tool for verifying system properties. We will demonstrate how some properties can be formulated, so they can be used together with a system specification in a justification.

背叛者

Vision for man machine interaction. In the second part of this paper we describe techniques for detecting, tracking and recognizing faces. When combined with real time image processing and active control of camera parameters, these techniques can greatly reduce the communications bandwidth required for video-phone and video-conferen

表示問

The integration of a layout constraint language with an object-oriented user interface management syaints are automatically created or deleted, and each constraint can change its source variables. Declarativeness of constraint schema specifications is achieved by the use of high-level object expressions.