ICSE 2000 Workshop

in co-operation with EUROGRAPHICS

Models in Design of Interactive Systems and Usability Evaluation

DSV-IS 2000: 7th International Workshop on
Design, Specification and Verification of Interactive Systems

Theme

DSV-IS (Design, Specification and Verification of Int eractive Systems) is an international Workshop that has been organised every year since 1994. The 7th DSV-IS workshop is organized in co-operation with Eurographics, as previous years, but is linked with ICSE in order to facilitate greater participation from people working in the Software Engineering field.

The workshop will provide a forum for the exchange of ideas on diverse approaches to the design and implementation of interactive systems. The particular focus of this year's event is on models (e.g. of devices, users, tasks, contexts, architectures, 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 also encouraged.

Advance Programme  

Previous DSV-IS:

All previous editions od DSV-IS workshops have been organised under the auspices of Eurographics