![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
12th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.