Scope
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. Papers are invited on topics that relate the user interface and software engineering, ranging from theory, techniques and tools for the design, development and validation of interactive systems.
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. Papers are invited on topics
that relate the user interface and software engineering, ranging from theory,
techniques and tools for the design, development and validation of interactive
systems.
Topics of interest include:
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