Design, Specification and Verification of Interactive Systems ’98

Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998

  • Panos Markopoulos
  • Peter Johnson
Conference proceedings

Part of the Eurographics book series (EUROGRAPH)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Invited Talks

    1. Dan R. Olsen Jr.
      Pages 1-8
  3. Papers Presented

    1. Keith A. Butler, Chris Esposito, Ron Hebron
      Pages 24-40
    2. R. E. Fields, N. A. Merriam
      Pages 41-56
    3. Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns
      Pages 57-70
    4. Richard Butterworth, Ann Blandford, David Duke
      Pages 87-101
    5. P. Markopoulos, G. Papatzanis, P. Johnson, J. Rowson
      Pages 102-116
    6. Sara Jones, John Sapsford
      Pages 117-133
    7. José C. Campos, Michael D. Harrison
      Pages 155-170
    8. Rémi Bastide, Philippe Palanque, Duc-Hoa Le, Jaime Muñoz, LIS — FROGIS
      Pages 171-190
    9. R. E. Kurt Stirewalt, Gregory D. Abowd
      Pages 191-205
    10. Howard Bowman, Giorgio P. Faconti, Mieke Massink
      Pages 261-277
    11. Gavin Doherty, Michael D. Harrison
      Pages 293-308
  4. Working Group Discussions

    1. Panos Markopoulos, Peter Johnson
      Pages 309-311
    2. M. D. Harrison
      Pages 312-315
    3. J. Rowson
      Pages 316-319
    4. D. A. Duce
      Pages 320-325
  5. Back Matter
    Pages 326-326

About these proceedings


Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.


Computergrafik Design Interaktive Systeme Modelierung computer graphics design interactive systems modelling implementation interactive system modeling user interface

Editors and affiliations

  • Panos Markopoulos
    • 1
  • Peter Johnson
    • 1
  1. 1.Department of Computer ScienceQueen Mary and Westfield CollegeLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Wien 1998
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-83212-7
  • Online ISBN 978-3-7091-3693-5
  • 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