Modelling and Design

DSV-IS '98: 5th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems

Cosener's House, Abingdon, UK, June 3-5, 1998.

Theme

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.

Topics

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

Interacting in Chaos, Invited Talk by Dan Olsen

The viability of modelling socially organised activity, Invited Talk by John McCarthy

Further Information

Final Programme

Working Group Discussion Topics

Registration form

Getting There

Organising Committee and Papers Review Committee

DSVIS workshop series

Schedule DSV-IS '98

	Submission in all categories by February 6, 1998. (Send 4 copies of full paper by post to the address below).
	Notification of acceptance by April 10, 1998.
	Workshop, June 3-5.