default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th DSV-IS 2005: Newcastle upon Tyne, UK
- 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
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 W. 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 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. 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 Simarro, Fabio Paternò, Kevin A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
