Conferences in DBLP

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

1. Pedro A. Szekely
   Retrospective and Challenges for Model-Based Interface Development. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:1-27 [Conf]
   
2. Véronique De Keyser, Denis Javaux
   Human Factors in Aeronautics. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:28-45 [Conf]
   
3. Baudouin Le Charlier
   Abstract Interpretation and Application to Interactive System Verification. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:46-72 [Conf]
   
4. Giorgio P. Faconti, David J. Duke
   Device Models. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:73-91 [Conf]
   
5. Johnny Accot, Stéphane Chatty, Philippe A. Palanque
   A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:92-104 [Conf]
   
6. Bruno d'Ausbourg, Guy Durrieu, Pierre Roché
   Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:105-122 [Conf]
   
7. Gerd Szwillus, Klaus Kespohl
   Prototyping Device Interfaces with DSN/2. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:123-140 [Conf]
   
8. David A. Carr
   Toward More Understandable User Interface Specifications. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:141-161 [Conf]
   
9. Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte
   Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:162-187 [Conf]
   
10. Chris Johnson
    The Evaluation of User Interface Notations. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:188-206 [Conf]
    
11. Chris Johnson, Philip D. Gray
    The Evaluation of User Interface Notations. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:207-228 [Conf]
    
12. Andrew M. Dearden, Michael D. Harrison
    Risk Analysis, Impact and Interaction Modelling. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:229-247 [Conf]
    
13. Demosthenes Akoumianakis, Anthony Savidis, Constantine Stephanidis
    Design Assistance for User-Adapted Interaction. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:248-271 [Conf]
    
14. Juan Carlos Torres, Miguel Gea, Francisco Luis Gutiérrez Vela, Miguel Cabrera, M. Rodriguez
    GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:272-291 [Conf]
    
15. J. K. Hyde, David J. Duke
    Fusion Engines and Melting Pots. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:292-311 [Conf]
    
16. Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque
    Monolingual, Articulated Modeling of Users, Devices, and Interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:312-329 [Conf]
    
17. Nicholas A. Merriam, Michael D. Harrison
    Evaluating the Interfaces of Three Theorem Proving Assistants. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:330-346 [Conf]
    
18. Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena
    Validating Properties of Component-based Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:347-365 [Conf]
    
19. Steve Reeves
    Specifying and Reasoning About CSCW. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:366-391 [Conf]