Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998

Front Matter....Pages I-IX
Interacting In Chaos....Pages 1-8
The viability of modelling socially organised activity....Pages 9-23
Deriving Business Object Definitions from User Work Process Models....Pages 24-40
Inference and Information Resources: A design case study....Pages 41-56
An Ontology for Task World Models....Pages 57-70
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control....Pages 71-86
The role of formal proof in modelling interactive behaviour....Pages 87-101
Validating semi-formal specifications of interactors as design representations....Pages 102-116
The role of informal representations in early design....Pages 117-133
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle....Pages 134-154
The role of verification in interactive systems design....Pages 155-170
Integrating rendering specifications into a formalism for the design of interactive systems....Pages 171-190
Practical Dialogue Refinement....Pages 191-205
Which widgets? Deriving implementations from formal user-interface specifications....Pages 206-224
A framework for generating spatial configurations in user interfaces....Pages 225-241
Using Model Checking for the Automatic Validation of User Interfaces Systems....Pages 242-260
Specification and Verification of Media Constraints using UPPAAL....Pages 261-277
Modelling direct manipulation with Referent and Statecharts....Pages 278-292
Integrating Joint Behaviour and Dialogue Description....Pages 293-308
Discussion topics for the DSV-IS ‘98 working groups....Pages 309-311
Working Group 1 Report....Pages 312-315
Working Group 2 Report....Pages 316-319
Working Group 3 Report....Pages 320-325
Back Matter....Pages 326-326