12. DSV-IS 2005: Newcastle upon Tyne, UK

Keynote

• Peter C. Wright, Mark Blythe, John C. McCarthy:
  User Experience and the Idea of Design in HCI. 1-14
  

Teams and Groups

• Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O'Malley:
  Formalising Performative Interaction. 15-25
  
• Ann Blandford, Dominic Furniss:
  DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. 26-38
  
• Maurice H. ter Beek, Mieke Massink, Diego Latella:
  Towards Model Checking Stochastic Aspects of the thinkteam User Interface. 39-50
  
• Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe A. Palanque:
  Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. 51-66
  

Sketches and Templates

• Fabio Paternò, Marco Volpe:
  Natural Modelling of Interactive Applications. 67-77
  
• David Paquette, Kevin A. Schneider:
  Task Model Simulation Using Interaction Templates. 78-89
  
• Amir M. Naghsh, Andy Dearden, Mehmet B. Özcan:
  Investigating Annotation in Electronic Paper-Prototypes. 90-101
  

Away from the Desktop

• Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru:
  Test of the ICARE Platform Fusion Mechanism. 102-113
  
• Joan De Boeck, Chris Raymaekers, Karin Coninx:
  A Method for the Verification of Haptic Algorithms. 114-125
  
• El Mustapha El Atifi, Gilles Falquet:
  A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases. 126-136
  

Migration and Mobility

• W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe:
  A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. 137-148
  
• Silvia Berti, Fabio Paternò, Carmen Santoro:
  A Taxonomy for Migratory User Interfaces. 149-160
  
• 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. 161-172
  

Analysis Tools

• Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun:
  Concept Analysis as a Formal Method for Menu Design. 173-187
  
• José Creissac Campos, Gavin J. Doherty:
  Supporting Resource-Based Analysis of Task Information Needs. 188-200
  
• Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns:
  Automatic Critiques of Interface Modes. 201-212
  
• Kwang Chun Lee, Ho-Jin Choi, Danhyung Lee, Sungwon Kang:
  Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis. 213-224
  

Model-Based Design Processes and Tools

• Erwin Cuppens, Chris Raymaekers, Karin Coninx:
  A Model-Based Design Process for Interactive Virtual Environments. 225-236
  
• Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho:
  Mapping ConcurTaskTrees into UML 2.0. 237-248
  
• Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde:
  Goal-Oriented Design of Domain Control Panels. 249-260
  

Group Discussions

• Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò, Kevin Schneider:
  Future Challenges of Model-Based Design. 261
  
• 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. 262-263
  
• Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro:
  Ambience and Mobility. 264
  
• 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. 265
  

Last update Wed Feb 15 04:03:35 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page