Interactive Systems. Design, Specification, and Verification

15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

  • Editors
  • T. C. Nicholas Graham
  • Philippe Palanque
Conference proceedings DSV-IS 2008

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

Table of contents

  1. Front Matter
  2. Ann Blandford, Paul Curzon, Joanne Hyde, George Papatzanis
    Pages 1-14
  3. Emmanuel Dubois, Cédric Bach, Philippe Truillet
    Pages 15-28
  4. Antonio Ferreira, Pedro Antunes
    Pages 29-42
  5. Thomas Memmel, Jean Vanderdonckt, Harald Reiterer
    Pages 43-57
  6. Anke Dittmar, Toralf Hübner, Peter Forbrig
    Pages 58-71
  7. J. Creissac Campos, M. D. Harrison
    Pages 72-85
  8. Alexandre Scaico, Maria de F. Q. Vieira, Markson R. F. de Sousa, Charles Santoni
    Pages 86-91
  9. D. Reichart, A. Dittmar, P. Forbrig, M. Wurdel
    Pages 92-95
  10. Josefina Guerrero García, Jean Vanderdonckt, Juan Manuel González Calleros, Marco Winckler
    Pages 96-101
  11. Elbert-Jan Hennipman, Evert-Jan Oppelaar, Gerrit van der Veer
    Pages 108-120
  12. Marco Winckler, Jean Vanderdonckt, Adrian Stanciulescu, Francisco Trindade
    Pages 121-135
  13. Gilles Tabart, Stéphane Conversy, Jean-Luc Vinot, Sylvie Athènes
    Pages 136-148
  14. Geert Vanderhulst, Kris Luyten, Karin Coninx
    Pages 155-160
  15. Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofie Notelaers, Karin Coninx
    Pages 161-166
  16. Gavin Doherty, Jose Campos, Michael Harrison
    Pages 194-207
  17. David Navarre, Philippe Palanque, Jean-François Ladry, Sandra Basnyat
    Pages 208-224
  18. Alexandre Demeure, Gaëlle Calvary, Karin Coninx
    Pages 225-237
  19. Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak
    Pages 238-251
  20. Satoshi Sakurai, Yuichi Itoh, Yoshifumi Kitamura, Miguel A. Nacenta, Tokuo Yamaguchi, Sriram Subramanian et al.
    Pages 252-266
  21. Benjamin Tissoires, Stéphane Conversy
    Pages 267-280
  22. Frédéric Jourde, Yann Laurillau, Alberto Moran, Laurence Nigay
    Pages 281-286
  23. Christophe Hurter, Stéphane Conversy
    Pages 287-293
  24. Gregor Buchholz, Stefan Propp
    Pages 294-299
  25. Maik Wurdel, Daniel Sinnig, Peter Forbrig
    Pages 300-305
  26. Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak
    Pages 306-309
  27. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.

The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.


3D interactions GUI adaptive interfaces augmented reality collaborative design critical systems design design model dynamic configuration formal methods formal specifications human computer interaction information visualizatio modeling verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-70568-0
  • Online ISBN 978-3-540-70569-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site