啜泣
发表于 2025-3-26 22:32:34
http://reply.papertrans.cn/32/3111/311023/311023_31.png
LAPSE
发表于 2025-3-27 02:38:09
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
发表于 2025-3-27 09:16:36
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
发表于 2025-3-27 12:31:10
IFIP Advances in Information and Communication Technologyhttp://image.papertrans.cn/e/image/311023.jpg
mortuary
发表于 2025-3-27 14:28:43
http://reply.papertrans.cn/32/3111/311023/311023_35.png
Ointment
发表于 2025-3-27 20:28:40
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.
使苦恼
发表于 2025-3-28 00:53:57
http://reply.papertrans.cn/32/3111/311023/311023_37.png
dictator
发表于 2025-3-28 04:41:20
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.
背叛者
发表于 2025-3-28 07:30:06
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
表示问
发表于 2025-3-28 11:14:57
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.