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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-70569-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70568-0
  • Online ISBN 978-3-540-70569-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book