Interactive Systems: Design, Specification, and Verification

8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

  • Chris Johnson
Conference proceedings DSV-IS 2001

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Mobile Interface Design

    1. Andreas Mueller, Peter Forbrig, Clemens Cap
      Pages 16-27
    2. Costin Pribeanu, Quentin Limbourg, Jean Vanderdonckt
      Pages 49-68
  3. Supervision and Control Systems

    1. Maria de F.Q.V. Turnell, Alexandre Scaico, Marckson R. F. de Sousa, Angelo Perkusich
      Pages 69-87
    2. David Navarre, Philippe Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
      Pages 88-113
  4. Temporal and Stochastic Issues

    1. Min Du, David England
      Pages 114-127
    2. José Luis Garrido, Miguel Gea
      Pages 128-143
    3. G. Doherty, M. Massink, G. Faconti
      Pages 144-163
  5. New Perspectives

    1. Quentin Limbourg, Costin Pribeanu, Jean Vanderdonckt
      Pages 164-182
    2. Harold Thimbleby
      Pages 199-217
  6. Back Matter
    Pages 219-219

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.
The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.


Adaptive Interfaces CSW Formal Methods Human-Computer Interaction (HCI) Interactive Systems Interface Interface Design Mobility Semi-Formal Methods Universal Access User Interfaces XML modeling petri net verification

Editors and affiliations

  • Chris Johnson
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42807-7
  • Online ISBN 978-3-540-45522-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site