Cosener's House, Abingdon, UK, June 3-5, 1998.
The workshop will provide a forum for the exchange of ideas on diverse approaches to the design of interactive systems. The particular focus of this year's event is on models (e.g. device, users, tasks, etc.) and their role in supporting the design and development of interactive systems. As in previous years, we maintain our interest in the use of formal representations and their role in supporting the design, specification, verification, validation and evaluation of interactive systems. Contributions pertaining to less formal representations of interactive system designs and model-based design approaches are particularly encouraged. The workshop aims to encourage an exchange of ideas between these different research fields.
| Model-based design of interactive systems | Task-based design of interactive systems |
| Cognitive models in interactive systems design | Specification-based evaluation of usability |
| Formal descriptions of user related properties | Formalisms for the specification of interactive systems |
| User interface architectures | User interface development environments |
| Validation of formally specified properties of interactive systems | Empirical assessment of formal design,specification and verification approaches |
| The role of representations (formal/informal) in the design of interactive systems |
 |
Panos Markopoulos Department of Computer Science Queen Mary and Westfield College University of London London E1 4NS tel: +44-(0)171-975 5257 fax: +44-(0)181-980 6533 e-mail: markop@dcs.qmw.ac.uk |