12. DSV-IS 2005: Newcastle upon Tyne, UK
Stephen W. Gilroy, Michael D. Harrison (Eds.): Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Springer 2006 Lecture Notes in Computer Science 3941 ISBN 3-540-34145-5
Keynote
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
- 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
- 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
- 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
- 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 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-05T211609 by the dblp team