- Harold W. Thimbleby:
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. DSV-IS 2006: 52-66 - Stephen W. Gilroy, Michael D. Harrison:
Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Lecture Notes in Computer Science 3941, Springer 2006, ISBN 3-540-34145-5 [contents] - 2005
- El Mustapha El Atifi, Gilles Falquet:
A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases. DSV-IS 2005: 126-136 - Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega
, Francisco Montero Simarro, Fabio Paternò, Kevin A. Schneider:
Future Challenges of Model-Based Design. DSV-IS 2005: 261 - Sandra Basnyat, Nick Chozos, Chris W. Johnson, Philippe A. Palanque:
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. DSV-IS 2005: 51-66 - Maurice H. ter Beek, Mieke Massink, Diego Latella:
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50 - Silvia Berti, Fabio Paternò, Carmen Santoro:
A Taxonomy for Migratory User Interfaces. DSV-IS 2005: 149-160 - Ann Blandford, Dominic Furniss:
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. DSV-IS 2005: 26-38 - Joan De Boeck, Chris Raymaekers, Karin Coninx:
A Method for the Verification of Haptic Algorithms. DSV-IS 2005: 114-125 - José Creissac Campos, Gavin J. Doherty:
Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200 - 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. DSV-IS 2005: 262-263 - Erwin Cuppens, Chris Raymaekers, Karin Coninx:
A Model-Based Design Process for Interactive Virtual Environments. DSV-IS 2005: 225-236 - Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, Steve Benford, Claire O'Malley:
Formalising Performative Interaction. DSV-IS 2005: 15-25 - Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro:
Ambience and Mobility. DSV-IS 2005: 264 - Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru:
Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113 - 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. DSV-IS 2005: 265 - Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns:
Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212 - Kwang Chun Lee, Ho-Jin Choi, Danhyung Lee, Sungwon Kang:
Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis. DSV-IS 2005: 213-224 - Francisco Montero Simarro, 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. DSV-IS 2005: 161-172 - Amir M. Naghsh, Andy Dearden, Mehmet B. Özcan:
Investigating Annotation in Electronic Paper-Prototypes. DSV-IS 2005: 90-101 - Leonel Nóbrega, Nuno Jardim Nunes, Helder Coelho:
Mapping ConcurTaskTrees into UML 2.0. DSV-IS 2005: 237-248 - David Paquette, Kevin A. Schneider:
Task Model Simulation Using Interaction Templates. DSV-IS 2005: 78-89 - Fabio Paternò, Marco Volpe:
Natural Modelling of Interactive Applications. DSV-IS 2005: 67-77 - W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe:
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. DSV-IS 2005: 137-148 - Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde:
Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260 - Peter C. Wright, Mark Blythe, John C. McCarthy:
User Experience and the Idea of Design in HCI. DSV-IS 2005: 1-14 - Guo-Qiang Zhang, Gongqin Shen, Ye Tian, Jiayang Sun:
Concept Analysis as a Formal Method for Menu Design. DSV-IS 2005: 173-187 - Rémi Bastide, Philippe A. Palanque, Jörg Roth:
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3425, Springer 2005, ISBN 3-540-26097-8 [contents] - 2004
- Simone Diniz Junqueira Barbosa, Milene Selbach Silveira, Maíra Greco de Paula, Karin Koogan Breitman:
Supporting a Shared Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach. EHCI/DS-VIS 2004: 271-288 - Ann Blandford, Thomas R. G. Green, Iain Connell:
Formalising an Understanding of User-System Misfits. EHCI/DS-VIS 2004: 253-270
