Interactive Systems: Design, Specification, and Verification, ... International Workshop, DSV-IS ..., Revised PapersSpringer., 2001 - Computer graphics |
Contents
Mobile Interface Design | 1 |
ModelBased User Interface Design Using Markup Concepts | 16 |
Task Modelling for ContextSensitive User Interfaces | 49 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
abstract interaction affordance alarm application approach aspects AUI language AUI model behaviour British Airways button canvas CDATA Click clock concepts concrete user interface constraints context context-sensitive context-sensitive task corresponding decision tree defined describe device display DSV-IS EasyJet elements embedded systems environment evaluation example execution function goal GOMS graphical heuristics Human-Computer Interaction individual task model Input Input Input interactive systems interactive task interface description language language meta-model Model-Based navigation notation objects operator Palanque Paterṇ patterns performance possible presented Proceedings process algebra programming properties represented role runtime scenario semantics sequence simulation Specification and Verification stochastic process structure sub-tasks symmetry system model task analysis task meta-model task model task tree techniques temporal tool transformation transition uniformed task usability user actions user interface description user interface design user's Verification of Interactive Workshop zip city