Sections

DSVIS'05 - 12th International Workshop on Design, Specification and Verification of Interactive Systems

Conference
Newcastle Upon Tyne, UK
from Wednesday, Jul. 13, 2005
to Friday, Jul. 15, 2005

About the Conference

Interactive systems, the human computer interface and support for collaboration present significant challenges for software engineers. Developments in ubiquitous and mobile computing have brought further challenges to interface designers and developers. Specification and verification techniques are required that can manage the diversity of platforms and interaction styles. Techniques are required that can be used to specify and verify such systems taking account of the fact that users are no longer dedicated to particular platforms when accessing a service and that relevant information for the service might be inferred from its environment. The twelfth international workshop on the "Design, Verification and Specification of Interactive Systems" provides a venue for researchers and practitioners to present their latest results and developments. Software engineering aspects of user interfaces including: Software architectures, Formal methods in HCI, HCI models; e.g. context, user, task, object-oriented, Verification and Validation, Specification, Development processes, Model based design, Usability requirements User interface tools and techniques including: Interfaces for mobile devices, Ubiquitous interactive systems, Multimodal user interfaces, Perceptual user interfaces, Interfaces for groupware, Information visualization and navigation, Virtual reality, augmented reality, Adaptive and customizable systems, Interfaces for multiple devices, World wide web

For more information, visit http://homepages.cs.ncl.ac.uk/steve.gilroy/dsvis/