4. DSV-IS 1997:
Granada,
Spain
Michael D. Harrison, Juan Carlos Torres (Eds.):
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain.
Springer 1997, ISBN 3-211-83055-3 
- Anthony Hall:
Do interactive systems need specifications?
1-12
- Joëlle Coutaz:
PAC-ing the architecture of your user interface.
13-27
- Robert E. Fields, Nicholas A. Merriam, Andrew M. Dearden:
DMVIS: Design, Modelling and Validation of Interactive Systems.
29-44
- Ann Blandford, Richard Butterworth, Jason Good:
Users as rational interacting agents: formalising assumptions about cognition and interaction.
45-60
- Marcos F. Sanz, Enrique J. Gómez:
Establishing a link between usability and utility: validation of a task-based dialogue using a semantic prototype.
61-76
- Bride Mallon, Brian Webb:
Evaluating narrative in multimedia.
77-92
- Meurig Sage, Chris Johnson:
Interactors and Haggis: Executable specifications for interactive systems.
93-108
- José Creissac Campos, Michael D. Harrison:
Formally verifying interactive systems: A review.
109-124
- Giorgio P. Faconti, Mieke Massink:
Investigating the behaviour of PREMO synchronizable objects.
125-141
- Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe A. Palanque:
Formal transducers: Models of devices and building bricks for the design of highly interactive systems.
143-159
- J. C. Hill, P. C. Wright:
From text to Petri Nets: the difficulties of describing accident scenarios formally.
161-175
- Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis:
Unifying toolkit programming layers: a multi-purpose toolkit integration module.
177-192
- Fernando Gamboa Rodríguez, Dominique L. Scapin:
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels.
193-208
- Panos Markopoulos, Peter Johnson, Jon Rowson:
Formal aspects of task based design.
209-224
- Ilse M. Breedvelt-Schouten, Fabio Paternò, C. Severijns:
Reusable structures in task models.
225-239
- C. N. Diplas, Achilles Kameas, Panayiotis E. Pintelas:
The interactive specification workspace: Specifying and designing the interaction issues of virtual reality training environments from within.
241-256
- Dorian Gorgan, David A. Duce:
The notion of trajectory in graphical user interfaces.
257-272
- Gavin J. Doherty, Michael D. Harrison:
A representational approach to the specification of presentations.
273-290
- Richard Butterworth, D. J. Cooke:
On biasing behaviour to the optimal.
291-306
- Robert E. Fields, Nicholas A. Merriam:
Modelling in action.
307-320
Copyright © Wed Nov 11 03:58:17 2009
by Michael Ley (ley@uni-trier.de)
