Skip to main content
SpringerLink
Log in
Book cover

Design, Specification and Verification of Interactive Systems ’98

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

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Panos Markopoulos

    1. Department of Computer Science, Queen Mary and Westfield College, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Johnson

    1. Department of Computer Science, Queen Mary and Westfield College, London, UK

    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 (23 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Invited Talks

    1. Interacting In Chaos

      • Dan R. Olsen Jr.
      Pages 1-8

    2. The viability of modelling socially organised activity

      • J. C. McCarthy
      Pages 9-23

  3. Papers Presented

    1. Deriving Business Object Definitions from User Work Process Models

      • Keith A. Butler, Chris Esposito, Ron Hebron
      Pages 24-40

    2. Inference and Information Resources: A design case study

      • R. E. Fields, N. A. Merriam
      Pages 41-56

    3. An Ontology for Task World Models

      • Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns
      Pages 57-70

    4. Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control

      • F. Paternò, C. Santoro, S. Tahmassebi
      Pages 71-86

    5. The role of formal proof in modelling interactive behaviour

      • Richard Butterworth, Ann Blandford, David Duke
      Pages 87-101

    6. Validating semi-formal specifications of interactors as design representations

      • P. Markopoulos, G. Papatzanis, P. Johnson, J. Rowson
      Pages 102-116

    7. The role of informal representations in early design

      • Sara Jones, John Sapsford
      Pages 117-133

    8. Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle

      • Meurig Sage, Chris Johnson
      Pages 134-154

    9. The role of verification in interactive systems design

      • José C. Campos, Michael D. Harrison
      Pages 155-170

    10. Integrating rendering specifications into a formalism for the design of interactive systems

      • Rémi Bastide, Philippe Palanque, Duc-Hoa Le, Jaime Muñoz, LIS — FROGIS
      Pages 171-190

    11. Practical Dialogue Refinement

      • R. E. Kurt Stirewalt, Gregory D. Abowd
      Pages 191-205

    12. Which widgets? Deriving implementations from formal user-interface specifications

      • Andrew Hussey, David Carrington
      Pages 206-224

    13. A framework for generating spatial configurations in user interfaces

      • Markus Fischer
      Pages 225-241

    14. Using Model Checking for the Automatic Validation of User Interfaces Systems

      • Bruno d’Ausbourg
      Pages 242-260

    15. Specification and Verification of Media Constraints using UPPAAL

      • Howard Bowman, Giorgio P. Faconti, Mieke Massink
      Pages 261-277

    16. Modelling direct manipulation with Referent and Statecharts

      • Hallvard Trætteberg
      Pages 278-292

    17. Integrating Joint Behaviour and Dialogue Description

      • Gavin Doherty, Michael D. Harrison
      Pages 293-308
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, Queen Mary and Westfield College, London, UK

    Panos Markopoulos, Peter Johnson

Bibliographic Information

  • Book Title: Design, Specification and Verification of Interactive Systems ’98

  • Book Subtitle: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998

  • Editors: Panos Markopoulos, Peter Johnson

  • Series Title: Eurographics

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

  • Publisher: Springer Vienna

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Wien 1998

  • Softcover ISBN: 978-3-211-83212-7Published: 10 August 1998

  • eBook ISBN: 978-3-7091-3693-5Published: 11 November 2013

  • Series ISSN: 0946-2767

  • Edition Number: 1

  • Number of Pages: IX, 326

  • Number of Illustrations: 99 b/w illustrations

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

Publish with us

Policies and ethics

Back to top

Search

Navigation