侧面左右
发表于 2025-3-23 13:16:28
Integrating rendering specifications into a formalism for the design of interactive systemsls with the specification of rendering, and its relationship with the formal specification of the dialogue between application and user. We first present a taxonomy of rendering according to its function in the application. We briefly recall the basics of the ICO formalism, which is used for the for
平项山
发表于 2025-3-23 14:18:24
Practical Dialogue Refinementl. Inherent in this view is a shift in the nature of the behavior being modeled. We explore the manifestations of such a shift by critically analyzing properties of the forms used to represent task and interaction models. The analysis enabled us to uncover four obstacles to dialogue refinemen
RADE
发表于 2025-3-23 21:28:30
Which widgets? Deriving implementations from formal user-interface specificationsrms of “widgets” (common interactors). A set of patterns is provided for transforming user-interface specifications. By defining a user-interface design using widgets, determining the user-interface’s presentation is simplified. Such transformation corresponds to redefinition of abstract user tasks
极微小
发表于 2025-3-23 22:11:20
A framework for generating spatial configurations in user interfacestations are often complex and their construction requires in-depth design knowledge. A framework is proposed that includes declarative models and inference mechanisms, aimed to significantly reduce the demands on the interface developer. Models of application characteristics form the input for a gen
冒号
发表于 2025-3-24 04:15:16
Using Model Checking for the Automatic Validation of User Interfaces Systems an approach to include such formal operations in the design process. It explains why the UIS can be modelled properly by a dataflow system, how this model can be expressed by using equations of flows in the language Lustre and how techniques of model checking can be used to check properties on it a
纺织品
发表于 2025-3-24 09:29:36
http://reply.papertrans.cn/27/2689/268828/268828_16.png
信徒
发表于 2025-3-24 12:13:43
Integrating Joint Behaviour and Dialogue Descriptionms. The manner in which interaction between these agents is specified is of fundamental importance, and must pay heed to expressivity and reuse concerns. There are also concerns specific to interactive systems, and in particular the need to specify and reason about user-system dialogue. We have show
漂浮
发表于 2025-3-24 18:38:20
Design, Specification and Verification of Interactive Systems ’98Proceedings of the E
chemical-peel
发表于 2025-3-24 22:34:19
Panos Markopoulos,Peter JohnsonState of the art in this field
别名
发表于 2025-3-25 01:19:03
Eurographicshttp://image.papertrans.cn/d/image/268828.jpg