The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes
    Specifying Temporal Behaviour in Software Architectures for Groupware Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:1-17 [Conf]
  2. Chris Johnson
    Questioning the Foundations of Utility for Quality of Service in Interface Development. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:19-33 [Conf]
  3. Frédéric Vernier, Laurence Nigay
    A Framework for the Combination and Characterization of Output Modalities. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:35-50 [Conf]
  4. Maria Kutar, Carol Britton, Chrystopher L. Nehaniv
    Specifying Multiple Time Granularities in Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:51-63 [Conf]
  5. James S. Willans, Michael D. Harrison
    Verifying the Behaviour of Virtual Environment World Objects. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:65-77 [Conf]
  6. Joanna Lumsden, Philip D. Gray
    SUIT - Context Sensitive Evaluation of User Interface Development Tools. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:79-95 [Conf]
  7. David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
    Structuring Interactive Systems Specifications for Executability and Prototypability. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:97-119 [Conf]
  8. Murray Crease, Philip D. Gray, Stephen A. Brewster
    A Toolkit of Mechanism and Context Independent Widgets. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:121-133 [Conf]
  9. Fabio Paternò, Carmen Santoro
    Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:135-150 [Conf]
  10. Anke Ditmar
    More Precise Descriptions of Temporal Relations within Task Models. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:151-168 [Conf]
  11. Karsten Loer, Michael D. Harrison
    Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:169-190 [Conf]
  12. Nuno Jardim Nunes, João Falcão e Cunha
    Wisdom - A UML Based Architecture for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:191-205 [Conf]
  13. Paulo Pinheiro da Silva
    User Interface Declarative Models and Development Environments: A Survey. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:207-226 [Conf]
  14. Quentin Limbourg, Jean Vanderdonckt, Nathalie Souchon
    The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2000, pp:227-246 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002