Design, Specification and Verification of Interactive Systems ’97

Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997

  • Michael Douglas Harrison
  • Juan Carlos Torres
Conference proceedings

Part of the Eurographics book series (EUROGRAPH)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Bob Fields, Nick Merriam, Andy Dearden
    Pages 29-44
  3. Bride Mallon, Brian Webb
    Pages 77-92
  4. José C. Campos, Michael D. Harrison
    Pages 109-124
  5. G. P. Faconti, M. Massink
    Pages 125-141
  6. Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe Palanque
    Pages 143-159
  7. Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis
    Pages 177-192
  8. Panos Markopoulos, Peter Johnson, Jon Rowson
    Pages 209-224
  9. I. M. Breedvelt-Schouten, F. D. Paternó, C. A. Severijns
    Pages 225-239
  10. Dorian Gorgan, David A. Duce
    Pages 257-272
  11. Gavin Doherty, Michael D. Harrison
    Pages 273-290
  12. R. J. Butterworth, D. J. Cooke
    Pages 291-305
  13. Robert E. Fields, Nicholas A. Merriam
    Pages 307-320
  14. Back Matter
    Pages 321-327

About these proceedings


An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.


computer graphics interactive system interactive systems modeling usability user interface virtual reality

Editors and affiliations

  • Michael Douglas Harrison
    • 1
  • Juan Carlos Torres
    • 2
  1. 1.Human-Computer Interaction GroupDepartment of Computer Science, University of YorkYorkUK
  2. 2.Dpt. Lenguajes y Sistemas InformaticosETS InformaticaGranadaSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Vienna 1997
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-83055-0
  • Online ISBN 978-3-7091-6878-3
  • Series Print ISSN 0946-2767
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment