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

About these proceedings

Keywords

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