default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th DSV-IS 1997: Granada, Spain
- Michael D. Harrison, Juan Carlos Torres:
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Eurographics, 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 W. 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 - Julia C. Hill, Peter 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 - Costas 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. John Cooke:
On biasing behaviour to the optimal. 291-306 - Robert E. Fields, Nicholas A. Merriam:
Modelling in action. 307-320
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
