Interactive Systems. Design, Specification, and Verification

13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

  • Editors
  • Gavin Doherty
  • Ann Blandford
Conference proceedings DSV-IS 2006

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

Table of contents

  1. Front Matter
  2. Keynote

  3. HCI Research

  4. Critical Systems

    1. Eric Barboni, Stéphane Conversy, David Navarre, Philippe Palanque
      Pages 25-38
    2. Mónica Sara Santos, João Falcão e Cunha, Altamiro da Costa Pereira
      Pages 39-51
  5. Model Based Development

    1. Victor M. R. Penichet, Fabio Paternò, J. A. Gallud, Maria D. Lozano
      Pages 67-80
    2. Jan Van den Bergh, Steven Huypens, Karin Coninx
      Pages 81-94
    3. Karin Coninx, Erwin Cuppens, Joan De Boeck, Chris Raymaekers
      Pages 95-108
  6. Cognitive Aspects of Interaction

    1. Rimvydas Rukšėnas, Paul Curzon, Jonathan Back, Ann Blandford
      Pages 123-136
  7. Use of Models

    1. Richard Potter, Helen Wright
      Pages 151-156
    2. Sophie Lepreux, Jean Vanderdonckt, Benjamin Michotte
      Pages 157-170
  8. Haptics and Multimodality

    1. G. Faconti, Mieke Massink
      Pages 185-198
  9. Prototyping and Evaluation

    1. Jennifer N. Petrie, Kevin A. Schneider
      Pages 199-212
    2. Eleanor O’Neill, David Lewis, Kris McGlinn, Simon Dobson
      Pages 220-233
  10. Supporting User Interface Development

    1. Erik G. Nilsson, Jacqueline Floch, Svein Hallsteinsen, Erlend Stav
      Pages 234-247
    2. T. C. Nicholas Graham, Will Roberts
      Pages 248-261
  11. Group Discussions

    1. Stéphane Chatty, José Creissac Campos, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. R. Penichet et al.
      Pages 262-264
    2. T. C. Nicholas Graham, Paul Curzon, Gavin Doherty, Philippe Palanque, Richard Potter, Christopher Roast et al.
      Pages 265-268
  12. Back Matter

About these proceedings


3D Augmented Reality Computer Multimedia adaptive interfaces association rules formal method formal methods human computer interaction human-computer interaction (HCI) mobile computing mobile devices model-based design modeling verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-69553-0
  • Online ISBN 978-3-540-69554-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods