Abstract is missing.
- Do interactive systems need specifications?Anthony Hall. 1-12
- PAC-ing the architecture of your user interfaceJoëlle Coutaz. 13-27
- DMVIS: Design, Modelling and Validation of Interactive SystemsRobert E. Fields, Nicholas A. Merriam, Andrew M. Dearden. 29-44
- Users as rational interacting agents: formalising assumptions about cognition and interactionAnn Blandford, Richard Butterworth, Jason Good. 45-60
- Establishing a link between usability and utility: validation of a task-based dialogue using a semantic prototypeMarcos F. Sanz, Enrique J. Gómez. 61-76
- Evaluating narrative in multimediaBride Mallon, Brian Webb. 77-92
- Interactors and Haggis: Executable specifications for interactive systemsMeurig Sage, Chris Johnson. 93-108
- Formally verifying interactive systems: A reviewJosé Creissac Campos, Michael D. Harrison. 109-124
- Investigating the behaviour of PREMO synchronizable objectsGiorgio P. Faconti, Mieke Massink. 125-141
- Formal transducers: Models of devices and building bricks for the design of highly interactive systemsJohnny Accot, Stéphane Chatty, Sébastien Maury, Philippe A. Palanque. 143-159
- From text to Petri Nets: the difficulties of describing accident scenarios formallyJ. C. Hill, P. C. Wright. 161-175
- Unifying toolkit programming layers: a multi-purpose toolkit integration moduleAnthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis. 177-192
- Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levelsFernando Gamboa Rodríguez, Dominique L. Scapin. 193-208
- Formal aspects of task based designPanos Markopoulos, Peter Johnson, Jon Rowson. 209-224
- Reusable structures in task modelsIlse M. Breedvelt-Schouten, Fabio Paternò, C. Severijns. 225-239
- The interactive specification workspace: Specifying and designing the interaction issues of virtual reality training environments from withinC. N. Diplas, Achilles Kameas, Panayiotis E. Pintelas. 241-256
- The notion of trajectory in graphical user interfacesDorian Gorgan, David A. Duce. 257-272
- A representational approach to the specification of presentationsGavin J. Doherty, Michael D. Harrison. 273-290
- On biasing behaviour to the optimalRichard Butterworth, D. J. Cooke. 291-306
- Modelling in actionRobert E. Fields, Nicholas A. Merriam. 307-320