Titlebook: Interactive Systems. Design, Specification, and Verification; 7th International Wo Philippe Palanque,Fabio Paternò Conference proceedings 2

Pulmonary-Veins

More Precise Descriptions of Temporal Relations within Task Models action model by additional temporal constraints is suggested. Thus, a more general models can be specified which can be adapted to actual conditions. The . allows a more precise modelling of temporal relations between subactions. This approach can contribute to a more flexible task modelling.

Hamper

avulsion

施舍

BRAWL

Conference proceedings 2001t was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agenc

cultivated

Conserve

外向者

SUIT — Context Sensitive Evaluation of User Interface Development Toolsand associated tool for investigating the suitability of user interface development tools (UIDTs) for use in software development organizations and projects. We also present the results of two informal empirical studies carried out in support of the development of our framework and method.

多樣

Structuring Interactive Systems Specifications for Executability and Prototypabilitythe ICO formal description technique) can effectively support the various phases of the life cycle. The concepts and the tool are presented on a Range Slider case study. The Range Slider is a medium size component, used for instance, in the field of dynamic queries for information retrieval and visualisation.

arcane

Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Propertieshow the resulting environment can be helpful in reasoning about multi-user interactions using the task model of an interactive application. Examples are provided from a case study in the field of air traffic control.