Conferences in DBLP

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

1. Peter C. Wright, Mark Blythe, John C. McCarthy
   User Experience and the Idea of Design in HCI. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:1-14 [Conf]
   
2. Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O'Malley
   Formalising Performative Interaction. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:15-25 [Conf]
   
3. Ann Blandford, Dominic Furniss
   DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:26-38 [Conf]
   
4. Maurice H. ter Beek, Mieke Massink, Diego Latella
   Towards Model Checking Stochastic Aspects of the thinkteam User Interface. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:39-50 [Conf]
   
5. Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque
   Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:51-66 [Conf]
   
6. Fabio Paternò, Marco Volpe
   Natural Modelling of Interactive Applications. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:67-77 [Conf]
   
7. David Paquette, Kevin A. Schneider
   Task Model Simulation Using Interaction Templates. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:78-89 [Conf]
   
8. Amir M. Naghsh, Andy Dearden, Mehmet B. Özcan
   Investigating Annotation in Electronic Paper-Prototypes. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:90-101 [Conf]
   
9. Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
   Test of the ICARE Platform Fusion Mechanism. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2005, pp:102-113 [Conf]
   
10. Joan De Boeck, Chris Raymaekers, Karin Coninx
    A Method for the Verification of Haptic Algorithms. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:114-125 [Conf]
    
11. El Mustapha El Atifi, Gilles Falquet
    A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:126-136 [Conf]
    
12. W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe
    A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:137-148 [Conf]
    
13. Silvia Berti, Fabio Paternò, Carmen Santoro
    A Taxonomy for Migratory User Interfaces. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:149-160 [Conf]
    
14. Francisco Montero, Víctor López-Jaquero, Jean Vanderdonckt, Pascual González, María Dolores Lozano, Quentin Limbourg
    Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:161-172 [Conf]
    
15. Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun
    Concept Analysis as a Formal Method for Menu Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:173-187 [Conf]
    
16. José Creissac Campos, Gavin J. Doherty
    Supporting Resource-Based Analysis of Task Information Needs. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:188-200 [Conf]
    
17. Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
    Automatic Critiques of Interface Modes. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:201-212 [Conf]
    
18. Kwang Chun Lee, Ho-Jin Choi, Danhyung Lee, Sungwon Kang
    Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:213-224 [Conf]
    
19. Erwin Cuppens, Chris Raymaekers, Karin Coninx
    A Model-Based Design Process for Interactive Virtual Environments. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:225-236 [Conf]
    
20. Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho
    Mapping ConcurTaskTrees into UML 2.0. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:237-248 [Conf]
    
21. Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
    Goal-Oriented Design of Domain Control Panels. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:249-260 [Conf]
    
22. Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò, Kevin Schneider
    Future Challenges of Model-Based Design. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:261- [Conf]
    
23. Nick Chozos, Jennifer G. Sheridan, Özcan Mehmet, Amir Naghsh, Kwang Chun Lee, Ann Blandford
    Supporting Values Other Than Usability and Performance Within the Design Process. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:262-263 [Conf]
    
24. Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
    Ambience and Mobility. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:264- [Conf]
    
25. Dominic Furniss, Alan J. Dix, Christophe Ponsard, Guo-Qiang Zhang
    Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:265- [Conf]