The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. David A. Duce, David J. Duke
    Interaction, Cognition and Visualization. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:1-20 [Conf]
  2. Marie-Claude Gaudel
    Formal Specification Techniques for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:21-26 [Conf]
  3. Dan R. Olsen
    Interacting with Information. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:27-34 [Conf]
  4. Fabio Paternò, M. S. Sciacchitano, Jonas Löwgren
    A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:35-53 [Conf]
  5. David J. Duke, Michael D. Harrison
    Interaction and Task Requirements. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:54-75 [Conf]
  6. Thomas G. Moher, Victor Dirda
    Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:76-92 [Conf]
  7. Chris Johnson
    The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:93-112 [Conf]
  8. Philip D. Gray, Chris Johnson
    Requirements for the Next Generation of User Interface Specification Languages. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:113-133 [Conf]
  9. Chris Bramwell, Bob Fields, Michael D. Harrison
    Exploring Design Options Rationally. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:134-148 [Conf]
  10. Alan J. Dix
    Moving between Contexts. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:149-173 [Conf]
  11. Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena
    Combining Formal Techniques and Prototyping in User Interface Construction and Verification. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:174-192 [Conf]
  12. Thomas Elwert, Egbert Schlungbaum
    Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:193-208 [Conf]
  13. Matthias Rauterberg
    Four Different Measures to Quantify Three Usability Attributes: 'Feedback', 'Interface Directeness' and 'Flexibility'. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:209-223 [Conf]
  14. Bernhard Bauer
    Proving the Correctness of Formal User Interface Specifications . [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:224-241 [Conf]
  15. Niels Ole Bernsen, S. Lu
    A Software Demonstrator of Modality Theory. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:242-261 [Conf]
  16. François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Isabelle Provot, Benoît Sacré, Jean Vanderdonckt
    Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:262-278 [Conf]
  17. Mark Green
    The Design of Narrative Virtual Environments. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:279-293 [Conf]
  18. Panos Markopoulos
    On the Expression of Interaction Properties within an Interactor Model. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:294-310 [Conf]
  19. James Middlemass, Adam Stork, John Long
    Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:311-328 [Conf]
  20. Roger K. Took
    A Formal Design for Mutually Composed Multiple Media in Presentations. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:329-341 [Conf]
  21. Michael D. Harrison
    Reports from Working Groups: Role of Verification. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:342-344 [Conf]
  22. Chris Johnson
    Reports from Working Groups: The Challenge of Time. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:345-357 [Conf]
  23. Thomas G. Moher
    Reports from Working Groups: User and Task Modelling. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:358-361 [Conf]

  24. Reports from Working Groups: Towards a Taxonomy for Interactive Graphics Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:362-370 [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