The SCEAS System
Navigation Menu

Conferences in DBLP

Design, Specification, and Verification of Interactive Systems (DSV-IS) (dsvis)
1997 (conf/dsvis/1997)

  1. Anthony Hall
    Do interactive systems need specifications? [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:1-12 [Conf]
  2. Joëlle Coutaz
    PAC-ing the architecture of your user interface. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:13-27 [Conf]
  3. Robert E. Fields, Nicholas A. Merriam, Andrew M. Dearden
    DMVIS: Design, Modelling and Validation of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:29-44 [Conf]
  4. Ann Blandford, Richard Butterworth, Jason Good
    Users as rational interacting agents: formalising assumptions about cognition and interaction. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:45-60 [Conf]
  5. Marcos F. Sanz, Enrique J. Gómez
    Establishing a link between usability and utility: validation of a task-based dialogue using a semantic prototype. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:61-76 [Conf]
  6. Bride Mallon, Brian Webb
    Evaluating narrative in multimedia. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:77-92 [Conf]
  7. Meurig Sage, Chris Johnson
    Interactors and Haggis: Executable specifications for interactive systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:93-108 [Conf]
  8. José Creissac Campos, Michael D. Harrison
    Formally verifying interactive systems: A review. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:109-124 [Conf]
  9. Giorgio P. Faconti, Mieke Massink
    Investigating the behaviour of PREMO synchronizable objects. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:125-141 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:143-159 [Conf]
  11. J. C. Hill, P. C. Wright
    From text to Petri Nets: the difficulties of describing accident scenarios formally. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:161-175 [Conf]
  12. Anthony Savidis, Constantine Stephanidis, Demosthenes Akoumianakis
    Unifying toolkit programming layers: a multi-purpose toolkit integration module. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:177-192 [Conf]
  13. Fernando Gamboa Rodríguez, Dominique L. Scapin
    Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation levels. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:193-208 [Conf]
  14. Panos Markopoulos, Peter Johnson, Jon Rowson
    Formal aspects of task based design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:209-224 [Conf]
  15. Ilse M. Breedvelt-Schouten, Fabio Paternò, C. Severijns
    Reusable structures in task models. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:225-239 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:241-256 [Conf]
  17. Dorian Gorgan, David A. Duce
    The notion of trajectory in graphical user interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:257-272 [Conf]
  18. Gavin J. Doherty, Michael D. Harrison
    A representational approach to the specification of presentations. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:273-290 [Conf]
  19. Richard Butterworth, D. J. Cooke
    On biasing behaviour to the optimal. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:291-306 [Conf]
  20. Robert E. Fields, Nicholas A. Merriam
    Modelling in action. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:307-320 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002