Titlebook: Interactive Systems. Design Specification, and Verification; 12th International W Stephen W. Gilroy,Michael D. Harrison Conference proceedi

放棄

A Model-Based Design Process for Interactive Virtual Environmentsapplication. The process is based on both requirements of model-based user interface developments processes, and virtual environment development tools and toolkits. To evaluate the envisioned approach, a tool was created that supports the described process, and a case study has been performed.

perpetual

User Experience and the Idea of Design in HCIrdisciplinary dialogue is not without its problems and points of contention. We conclude by arguing that not only new conceptual tools but also new HCI curricula may be helpful in achieving this interdisciplinary dialogue.

Alienated

出沒

Investigating Annotation in Electronic Paper-Prototypesels around such electronic paper-prototypes to enable end-users and other stakeholders to contribute to design dialogues. This paper presents Gabbeh, an electronic paper-prototyping tool, and reports on an evaluation using the tool in a simulated design exercise.

Misgiving

凝結(jié)劑

Supporting Resource-Based Analysis of Task Information Needsat how we can use tools to help reason about these issues, and illustrate their use through an example. We also consider a full range of analyses suggested using this approach which could potentially be supported by automated reasoning systems.

NOVA

978-3-540-34145-1Springer-Verlag Berlin Heidelberg 2006

軍火

peptic-ulcer

0302-9743 Overview: 978-3-540-34145-1978-3-540-34146-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

nitric-oxide

Automatic Critiques of Interface Modessing a matrix algebra approach to interface specification [12]. We also present a novel algorithm for automatically identifying modes in state-based interface designs, allowing a significant level of automated tool support for our methodology. The present paper generalises our previous work on improving state-based interface designs [5].