Titlebook: Design, Specification and Verification of Interactive Systems ’98; Proceedings of the E Panos Markopoulos,Peter Johnson Conference proceedi

侧面左右

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

平项山

Practical Dialogue Refinementl[1, 17]. 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

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

极微小

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

冒号

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

纺织品

信徒

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

漂浮

Design, Specification and Verification of Interactive Systems ’98Proceedings of the E

chemical-peel

Panos Markopoulos,Peter JohnsonState of the art in this field

别名

Eurographicshttp://image.papertrans.cn/d/image/268828.jpg