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

只看該作者 · 發(fā)表于 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

只看該作者 · 發(fā)表于 2025-3-23 14:18:24

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

只看該作者 · 發(fā)表于 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

只看該作者 · 發(fā)表于 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

只看該作者 · 發(fā)表于 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

只看該作者 · 發(fā)表于 2025-3-24 09:29:36

只看該作者 · 發(fā)表于 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

只看該作者 · 發(fā)表于 2025-3-24 18:38:20

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

只看該作者 · 發(fā)表于 2025-3-24 22:34:19

Panos Markopoulos,Peter JohnsonState of the art in this field

只看該作者 · 發(fā)表于 2025-3-25 01:19:03

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

		自動(dòng)登錄	找回密碼
密碼			To register

關(guān)于派博傳思			派博傳思旗下網(wǎng)站			友情鏈接
派博傳思介紹	公司地理位置	論文服務(wù)流程	影響因子官網(wǎng)	吾愛論文網(wǎng)	大講堂	北京大學(xué)	Oxford Uni.	Harvard Uni.
發(fā)展歷史沿革	期刊點(diǎn)評(píng)	投稿經(jīng)驗(yàn)總結(jié)	SCIENCEGARD	IMPACTFACTOR	派博系數(shù)	清華大學(xué)	Yale Uni.	Stanford Uni.
\|Archiver\|手機(jī)版\|小黑屋\| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-5 06:28
Copyright © 2001-2015 派博傳思京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved