Design, Specification and Verification of Interactive Systems
DSV-IS - 2008
July 16-18, 2008, Kingston, Ontario, Canada
http://www.cs.queensu.ca/dsvis2008
CALL FOR PAPERS
The engineering of interactive systems presents significant challenges
for designers and developers. It has proven difficult to create
development practices that address usability of interactive systems.
This is particularly true of richly interactive systems, such as those
involving collaboration, mobility, augmented reality or safety
criticality, or using novel interaction devices such as tabletops or
large-screen displays. DSV-IS provides a forum for researchers
addressing the design and development of interactive systems. The
workshop investigates the effective design, specification and
verification of interactive systems, at all points in the software life
cycle.
A continuing challenge is determining the success of novel techniques
for developing interactive systems. The community is particularly
interested in approaches for evaluating and comparing methods,
technologies and design artifacts. Evaluation techniques can include
experience reports, case studies, experiments, and mathematical proof.
Such evaluation is a necessary precursor to adoption of new techniques
within industry and the broader HCI community.
The XVIIth 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 and demonstrations are invited on topics that relate the user
interface and software engineering, including theory, techniques and
tools for the design, development and validation of interactive
systems. DSV-IS 2008 is offered in cooperation with IFIP Working Group
2.7/13.4 on User Interface Engineering.
TOPICS
Topics of interest include software engineering aspects of user
interfaces and user interface tools and techniques:
* Software architectures
* Development processes
* Model based design
* Usability requirements
* Software engineering models in HCI (including formal models and UML)
* HCI models; e.g. context, user, task, domain
* Verification and Validation
* Specification of Interactive Systems
As applied to:
* Interfaces for mobile devices
* Ubiquitous interactive systems
* Multimodal user interfaces
* Interfaces for groupware
* Information visualization and navigation
* Virtual reality, augmented reality
* Computer games
* Adaptive and customizable systems
* Interfaces for multiple devices
* Interfaces for tabletop and large screen surfaces
* Safety critical interfaces, including cockpits and command&control
workstations
* Incident and accident analysis, investigation and modelling
SUBMISSION CATEGORIES
We solicit the submission of full papers, late-breaking result papers,
experience reports and demonstrations.
IMPORTANT DATES
March 7, 2008: Submission deadline
April 15, 2008: Author notifications
May 14, 2008: Camera-ready copy due
July 16-18, 2008: DSV-IS 2008
FOR MORE INFORMATION
http://www.cs.queensu.ca/dsvis2008
---------------------------------------------------------------
To unsubscribe, send an empty email to
mailto:[log in to unmask]
For further details of CHI lists see http://sigchi.org/listserv
---------------------------------------------------------------
|