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]