Interactive Systems. Design, Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

  • Stephen W. Gilroy
  • Michael D. Harrison
Conference proceedings DSV-IS 2005

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

Table of contents

  1. Front Matter
  2. Keynote

    1. Peter Wright, Mark Blythe, John McCarthy
      Pages 1-14
  3. Teams and Groups

    1. Alan Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O’Malley
      Pages 15-25
    2. Maurice H. ter Beek, Mieke Massink, Diego Latella
      Pages 39-50
    3. Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe Palanque
      Pages 51-66
  4. Sketches and Templates

    1. Fabio Paternò, Marco Volpe
      Pages 67-77
    2. David Paquette, Kevin A. Schneider
      Pages 78-89
    3. Amir M. Naghsh, Andy Dearden, Mehmet B. Özcan
      Pages 90-101
  5. Away from the Desktop

    1. Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
      Pages 102-113
    2. Joan De Boeck, Chris Raymaekers, Karin Coninx
      Pages 114-125
  6. Migration and Mobility

    1. W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe
      Pages 137-148
    2. Silvia Berti, Fabio Paternò, Carmen Santoro
      Pages 149-160
    3. Francisco Montero, Víctor López-Jaquero, Jean Vanderdonckt, Pascual González, María Lozano, Quentin Limbourg
      Pages 161-172
  7. Analysis Tools

    1. Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun
      Pages 173-187
    2. José Creissac Campos, Gavin J. Doherty
      Pages 188-200
    3. Jeremy Gow, Harold Thimbleby, Paul Cairns
      Pages 201-212
    4. Kwang Chun Lee, Ho-Jin Choi, Dan Hyung Lee, Sungwon Kang
      Pages 213-224
  8. Model-Based Design Processes and Tools

    1. Erwin Cuppens, Chris Raymaekers, Karin Coninx
      Pages 225-236
    2. Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho
      Pages 237-248
    3. Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
      Pages 249-260
  9. Group Discussions

    1. Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò et al.
      Pages 261-261
    2. Nick Chozos, Jennifer G. Sheridan, Özcan Mehmet, Amir Naghsh, Kwang Chun Lee, Ann Blandford
      Pages 262-263
    3. Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink et al.
      Pages 264-264
    4. Dominic Furniss, Alan Dix, Christophe Ponsard, Guo-Qiang Zhang
      Pages 265-265
  10. Back Matter

About these proceedings


Fusion HCI Inform System UML Unified Modeling Language (UML) adaptive interfaces algorithm algorithms formal method formal methods groupware mobile computing modeling user interface design

Editors and affiliations

  • Stephen W. Gilroy
    • 1
  • Michael D. Harrison
    • 2
  1. 1.School of Computing ScienceUniversity of Newcastle upon TyneNewcastle upon TyneUK
  2. 2.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-34145-1
  • Online ISBN 978-3-540-34146-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site