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 BibTeX

Anthony Hall: Do interactive systems need specifications? 1-12 BibTeX
Joëlle Coutaz: PAC-ing the architecture of your user interface. 13-27 BibTeX
Robert E. Fields, Nicholas A. Merriam, Andrew M. Dearden: DMVIS: Design, Modelling and Validation of Interactive Systems. 29-44 BibTeX
Ann Blandford, Richard Butterworth, Jason Good: Users as rational interacting agents: formalising assumptions about cognition and interaction. 45-60 BibTeX
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 BibTeX
Bride Mallon, Brian Webb: Evaluating narrative in multimedia. 77-92 BibTeX
Meurig Sage, Chris Johnson: Interactors and Haggis: Executable specifications for interactive systems. 93-108 BibTeX
José Creissac Campos, Michael D. Harrison: Formally verifying interactive systems: A review. 109-124 BibTeX
Giorgio P. Faconti, Mieke Massink: Investigating the behaviour of PREMO synchronizable objects. 125-141 BibTeX
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 BibTeX
J. C. Hill, P. C. Wright: From text to Petri Nets: the difficulties of describing accident scenarios formally. 161-175 BibTeX
Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis: Unifying toolkit programming layers: a multi-purpose toolkit integration module. 177-192 BibTeX
Fernando Gamboa Rodríguez, Dominique L. Scapin: Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels. 193-208 BibTeX
Panos Markopoulos, Peter Johnson, Jon Rowson: Formal aspects of task based design. 209-224 BibTeX
Ilse M. Breedvelt-Schouten, Fabio Paternò, C. Severijns: Reusable structures in task models. 225-239 BibTeX
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 BibTeX
Dorian Gorgan, David A. Duce: The notion of trajectory in graphical user interfaces. 257-272 BibTeX
Gavin J. Doherty, Michael D. Harrison: A representational approach to the specification of presentations. 273-290 BibTeX
Richard Butterworth, D. J. Cooke: On biasing behaviour to the optimal. 291-306 BibTeX
Robert E. Fields, Nicholas A. Merriam: Modelling in action. 307-320 BibTeX