Skip to main content
SpringerLink
Log in

Design, Specification and Verification of Interactive Systems ’97

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

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Michael Douglas Harrison

    1. Human-Computer Interaction Group, Department of Computer Science, University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juan Carlos Torres

    1. Dpt. Lenguajes y Sistemas Informaticos, ETS Informatica, Granada, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • state of the art in this field

Part of the book series: Eurographics (EUROGRAPH)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Do interactive systems need specifications?

    • Anthony Hall
    Pages 1-12

  3. PAC-ing the Architecture of Your User Interface

    • Joëlle Coutaz
    Pages 13-27

  4. DMVIS: Design, Modelling and Validation of Interactive Systems

    • Bob Fields, Nick Merriam, Andy Dearden
    Pages 29-44

  5. Users as rational interacting agents: formalising assumptions about cognition and interaction

    • Ann Blandford, Richard Butterworth, Jason Good
    Pages 45-60

  6. Establishing a link between usability and utility: validation of task-based dialogue using a semantic prototype

    • Marcos F. Sanz, Enrique J. Gómez
    Pages 61-76

  7. Evaluating Narrative in Multimedia

    • Bride Mallon, Brian Webb
    Pages 77-92

  8. Interactors and Haggis: Executable specifications for interactive systems

    • Meurig Sage, Chris Johnson
    Pages 93-108

  9. Formally Verifying Interactive Systems: A Review

    • José C. Campos, Michael D. Harrison
    Pages 109-124

  10. Investigating the Behaviour of PREMO Synchronizable Objects

    • G. P. Faconti, M. Massink
    Pages 125-141

  11. Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems

    • Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe Palanque
    Pages 143-159

  12. From text to Petri Nets: the difficulties of describing accident scenarios formally

    • J. C. Hill, P. C. Wright
    Pages 161-175

  13. Unifying Toolkit Programming Layers: a Multi-purpose Toolkit Integration Module

    • Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis
    Pages 177-192

  14. Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels

    • F. Gamboa Rodriguez, D. L. Scapin
    Pages 193-208

  15. Formal aspects of task based design

    • Panos Markopoulos, Peter Johnson, Jon Rowson
    Pages 209-224

  16. Reusable Structures in Task Models

    • I. M. Breedvelt-Schouten, F. D. Paternó, C. A. Severijns
    Pages 225-239

  17. The Interaction Specification Workspace: Specifying and Designing the Interaction Issues of Virtual Reality Training Environments From Within

    • C. N. Diplas, A. D. Kameas, P. E. Pintelas
    Pages 241-256

  18. The Notion of Trajectory in Graphical User Interfaces

    • Dorian Gorgan, David A. Duce
    Pages 257-272

  19. A Representational Approach to the Specification of Presentations

    • Gavin Doherty, Michael D. Harrison
    Pages 273-290

  20. On biasing behaviour to the optimal

    • R. J. Butterworth, D. J. Cooke
    Pages 291-305
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Human-Computer Interaction Group, Department of Computer Science, University of York, York, UK

    Michael Douglas Harrison

  • Dpt. Lenguajes y Sistemas Informaticos, ETS Informatica, Granada, Spain

    Juan Carlos Torres

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 Douglas Harrison, Juan Carlos Torres

  • Series Title: Eurographics

  • DOI: https://doi.org/10.1007/978-3-7091-6878-3

  • Publisher: Springer Vienna

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag/Wien 1997

  • Softcover ISBN: 978-3-211-83055-0Published: 11 November 1997

  • eBook ISBN: 978-3-7091-6878-3Published: 06 December 2012

  • Series ISSN: 0946-2767

  • Edition Number: 1

  • Number of Pages: VIII, 320

  • Number of Illustrations: 56 b/w illustrations

  • Topics: User Interfaces and Human Computer Interaction, Models and Principles

Publish with us

Policies and ethics

Back to top

Search

Navigation