Advertisement

Engineering Human Computer Interaction and Interactive Systems

Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

  • Rémi Bastide
  • Philippe Palanque
  • Jörg Roth

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3425)

Table of contents

  1. Front Matter
  2. Usability

    1. Bonnie E. John, Len Bass, Maria-Isabel Sanchez-Segura, Rob J. Adams
      Pages 1-19
    2. Eelke Folmer, Jilles van Gurp, Jan Bosch
      Pages 38-58
  3. Task Modelling

    1. Anke Dittmar, Peter Forbrig, Simone Heftberger, Chris Stary
      Pages 59-76
    2. Carsten Eichholz, Anke Dittmar, Peter Forbrig
      Pages 96-111
  4. Browsing and Searching

    1. T. C. Ormerod, J. Mariani, N. J. Morley, T. Rodden, A. Crabtree, J. Mathrick et al.
      Pages 112-128
    2. Daniel Gonçalves, Joaquim Jorge
      Pages 129-145
  5. Model-Based Approaches

    1. Pedro F. Campos, Nuno J. Nunes
      Pages 146-163
    2. José A. Macías, Pablo Castells
      Pages 164-178
    3. David Navarre, Pierre Dragicevic, Philippe Palanque, Rémi Bastide, Amélie Schyn
      Pages 179-199
    4. Quentin Limbourg, Jean Vanderdonckt, Benjamin Michotte, Laurent Bouillon, Víctor López-Jaquero
      Pages 200-220
    5. Robbie Schaefer, Steffen Bleul, Wolfgang Mueller
      Pages 221-223
    6. Jürgen Ziegler, Markus Specker
      Pages 224-227
  6. Ubiquitous Computing

    1. Stanislaw Borkowski, Julien Letessier, James L. Crowley
      Pages 228-244
    2. Grigori Evreinov, Tatiana Evreinova, Roope Raisamo
      Pages 245-252
  7. Bridging Viewpoints

    1. Ann Blandford, Thomas R. G. Green, Iain Connell
      Pages 253-270
    2. Simone Diniz Junqueira Barbosa, Milene Selbach Silveira, Maíra Greco de Paula, Karin Koogan Breitman
      Pages 271-288
    3. Víctor López-Jaquero, Francisco Montero, José P. Molina, P. González, A. Fernández-Caballero
      Pages 289-291
  8. Plastic and Adaptive Interfaces

    1. Simon Dobson, Paddy Nixon
      Pages 292-305
    2. Gaëlle Calvary, Joëlle Coutaz, Olfa Dâassi, Lionel Balme, Alexandre Demeure
      Pages 306-324
    3. Francesco Correani, Giulio Mori, Fabio Paternò
      Pages 346-362
  9. Groupware

    1. Carl Gutwin, Kevin Schneider, David Paquette, Reagan Penner
      Pages 383-397
  10. Back Matter

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
    • 1
  • Philippe Palanque
    • 2
  • Jörg Roth
    • 3
  1. 1.IRITUniversity of ToulouseToulouse Cedex 9France
  2. 2.Institute of Research in Informatics of Toulouse (IRIT)University Paul SabatierToulouse Cedex 9France
  3. 3.Univ. of Applied Sciences NurembergNurembergGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b136790
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-26097-4
  • Online ISBN 978-3-540-31961-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site