About these proceedings
Introduction
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.
Keywords
HCI Ubiquitous Computing adaptive interfaces architecture formal methods groupware human computer interaction intelligent interfaces mobile computing modeling multimodal interfaces user interface evaluation user interfaces user simulation user-centered design
Editors and affiliations
- Rémi Bastide
- Philippe Palanque
- Jörg Roth
- 1.IRITUniversity of ToulouseToulouse Cedex 9France
- 2.Institute of Research in Informatics of Toulouse (IRIT)University Paul SabatierToulouse Cedex 9France
- 3.Univ. of Applied Sciences NurembergNurembergGermany
Bibliographic information