© 1997

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
  • state of the art in this field

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

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

  • Book Title Design, Specification and Verification of Interactive Systems ’97
  • Book Subtitle Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
  • Editors Michael D. Harrison
    Juan C. Torres
  • Series Title Eurographics
  • DOI
  • Copyright Information Springer-Verlag Vienna 1997
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-211-83055-0
  • eBook ISBN 978-3-7091-6878-3
  • Series ISSN 0946-2767
  • Edition Number 1
  • Number of Pages VIII, 320
  • Number of Illustrations 56 b/w illustrations, 0 illustrations in colour
  • Topics User Interfaces and Human Computer Interaction
    Models and Principles
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment