Titlebook: Interactive Systems. Design, Specification, and Verification; 15th International W T. C. Nicholas Graham,Philippe Palanque Conference proce

PAGAN

Subjugate

抑制

死亡

Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Application home domain. The approach is based on Web services and model-based user interface generation. In particular, it focuses on multi-device interfaces obtained starting with XML descriptions of home Web services, which are then mapped onto user interface logical descriptions, from which it is possible

membrane

Resources for Situated Actions,s. However, the effort involved in producing the specifications of the system is still substantial, and a difficulty exists regarding the specification of plausible behaviors on the part of the user. Recent trends in technology towards more mobile and distributed systems further exacerbates the issu

aggressor

Investigating System Navigation Ergonomics through Model Verification,eloped to support the interface designer during model analysis. The context chosen as the basis for discussion is the operation of automated systems in the electricity industry; and a case study is presented to illustrate the analysis.

蘆筍

Pattern Languages as Tool for Discount Usability Engineering,afe to be used without expert knowledge. Such a tool can be used in what could be labeled “discount usability engineering”. A new type of HCI pattern language combined with a supportive tool is intended to overcome some of the gaps these engineers have in HCI-background.

ANTIC

Lightweight Coding of Structurally Varying Dialogs, performed automatically, facilitated by an incremental control structure. Volume of source code is reduced by about an order of magnitude compared to common UI toolkits. It has been implemented several times and used extensively in industry.

Extemporize

Jogging