Ebook: Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997

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.

---

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.

---

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.
Content:
Front Matter....Pages I-VIII
Do interactive systems need specifications?....Pages 1-12
PAC-ing the Architecture of Your User Interface....Pages 13-27
DMVIS: Design, Modelling and Validation of Interactive Systems....Pages 29-44
Users as rational interacting agents: formalising assumptions about cognition and interaction....Pages 45-60
Establishing a link between usability and utility: validation of task-based dialogue using a semantic prototype....Pages 61-76
Evaluating Narrative in Multimedia....Pages 77-92
Interactors and Haggis: Executable specifications for interactive systems....Pages 93-108
Formally Verifying Interactive Systems: A Review....Pages 109-124
Investigating the Behaviour of PREMO Synchronizable Objects....Pages 125-141
Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems....Pages 143-159
From text to Petri Nets: the difficulties of describing accident scenarios formally....Pages 161-175
Unifying Toolkit Programming Layers: a Multi-purpose Toolkit Integration Module....Pages 177-192
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels....Pages 193-208
Formal aspects of task based design....Pages 209-224
Reusable Structures in Task Models....Pages 225-239
The Interaction Specification Workspace: Specifying and Designing the Interaction Issues of Virtual Reality Training Environments From Within....Pages 241-256
The Notion of Trajectory in Graphical User Interfaces....Pages 257-272
A Representational Approach to the Specification of Presentations....Pages 273-290
On biasing behaviour to the optimal....Pages 291-305
Modelling in Action....Pages 307-320
Back Matter....Pages 321-327

---

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.
Content:
Front Matter....Pages I-VIII
Do interactive systems need specifications?....Pages 1-12
PAC-ing the Architecture of Your User Interface....Pages 13-27
DMVIS: Design, Modelling and Validation of Interactive Systems....Pages 29-44
Users as rational interacting agents: formalising assumptions about cognition and interaction....Pages 45-60
Establishing a link between usability and utility: validation of task-based dialogue using a semantic prototype....Pages 61-76
Evaluating Narrative in Multimedia....Pages 77-92
Interactors and Haggis: Executable specifications for interactive systems....Pages 93-108
Formally Verifying Interactive Systems: A Review....Pages 109-124
Investigating the Behaviour of PREMO Synchronizable Objects....Pages 125-141
Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems....Pages 143-159
From text to Petri Nets: the difficulties of describing accident scenarios formally....Pages 161-175
Unifying Toolkit Programming Layers: a Multi-purpose Toolkit Integration Module....Pages 177-192
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels....Pages 193-208
Formal aspects of task based design....Pages 209-224
Reusable Structures in Task Models....Pages 225-239
The Interaction Specification Workspace: Specifying and Designing the Interaction Issues of Virtual Reality Training Environments From Within....Pages 241-256
The Notion of Trajectory in Graphical User Interfaces....Pages 257-272
A Representational Approach to the Specification of Presentations....Pages 273-290
On biasing behaviour to the optimal....Pages 291-305
Modelling in Action....Pages 307-320
Back Matter....Pages 321-327
....