Design, Specification and Verification of Interactive Systems ’97

1. Front Matter

   Pages I-VIII

   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

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

• 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

Policies and ethics