DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop
- Publisher
- Springer
- Website
- Year
- 2005
- Period
- July 13-15
- Place
- Newcastle upon Tyne, UK
- ISBN
- 3-540-34145-5
- Series
- DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
- DOI
- Volume
- Copyright info
Description
All years
Articles
Wright, Peter C., Blythe, Mark, McCarthy, John C. (2005): User Experience and the Idea of Design in HCI. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 1-14. https://dx.doi.org/10.1007/11752707_1
Dupuy-Chessa, Sophie, Bousquet, Lydie du, Bouchet, Jullien, Ledru, Yves (2005): Test of the ICARE Platform Fusion Mechanism. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 102-113. https://dx.doi.org/10.1007/11752707_9
Boeck, Joan De, Raymaekers, Chris, Coninx, Karin (2005): A Method for the Verification of Haptic Algorithms. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 114-125. https://dx.doi.org/10.1007/11752707_10
Atifi, El Mustapha El, Falquet, Gilles (2005): A Specification Language and System for the Three-Dimensional Visualisation of Knowledge B. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 126-136. https://dx.doi.org/10.1007/11752707_11
Phillips, W. Greg, Graham, T. C. Nicholas, Wolfe, Christopher (2005): A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 137-148. https://dx.doi.org/10.1007/11752707_12
Berti, Silvia, Paterno, Fabio, Santoro, Carmen (2005): A Taxonomy for Migratory User Interfaces. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 149-160. https://dx.doi.org/10.1007/11752707_13
Dix, Alan J., Sheridan, Jennifer G., Reeves, Stuart, Benford, Steve, O'Malley, Claire (2005): Formalising Performative Interaction. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 15-25. https://dx.doi.org/10.1007/11752707_2
Montero, Francisco, López-Jaquero, Víctor, Vanderdonckt, Jean M., González, Pascual, Lozano, María Dolores, Limbourg, Quentin (2005): Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 161-172. https://dx.doi.org/10.1007/11752707_14
Zhang, Guo-Qiang, Shen, Gongqin, Tian, Ye, Sun, Jiayang (2005): Concept Analysis as a Formal Method for Menu Design. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 173-187. https://dx.doi.org/10.1007/11752707_15
Campos, José Creissac, Doherty, Gavin (2005): Supporting Resource-Based Analysis of Task Information Needs. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 188-200. https://dx.doi.org/10.1007/11752707_16
Gow, Jeremy, Thimbleby, Harold W., Cairns, Paul A. (2005): Automatic Critiques of Interface Modes. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 201-212. https://dx.doi.org/10.1007/11752707_17
Lee, Kwang Chun, Choi, Ho-Jin, Lee, Danhyung, Kang, Sungwon (2005): Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 213-224. https://dx.doi.org/10.1007/11752707_18
Cuppens, Erwin, Raymaekers, Chris, Coninx, Karin (2005): A Model-Based Design Process for Interactive Virtual Environments. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 225-236. https://dx.doi.org/10.1007/11752707_19
Nóbrega, Leonel, Nunes, Nuno Jardim, Coelho, Helder (2005): Mapping ConcurTaskTrees into UML 2.0. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 237-248. https://dx.doi.org/10.1007/11752707_20
Ponsard, Christophe, Balych, Nadiya, Massonet, Philippe, Vanderdonckt, Jean M., Lamsweerde, Axel van (2005): Goal-Oriented Design of Domain Control Panels. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 249-260. https://dx.doi.org/10.1007/11752707_21
Blandford, Ann, Furniss, Dominic (2005): DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Syste. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 26-38. https://dx.doi.org/10.1007/11752707_3
Basnyat, Sandra, Boeck, Joan De, Cuppens, Erwin, Nóbrega, Leonel, Montero, Francisco, Paterno, Fabio, Schneider, Kevin (2005): Future Challenges of Model-Based Design. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 261. https://dx.doi.org/10.1007/11752707_22
Chozos, Nick, Sheridan, Jennifer G., Mehmet, Özcan, Naghsh, Amir, Lee, Kwang Chun, Blandford, Ann (2005): Supporting Values Other Than Usability and Performance Within the Design Process. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 262-263. https://dx.doi.org/10.1007/11752707_23
Doherty, Gavin, Bousquet, Lydie du, Campos, José Creissac, Atifi, El Mustapha El, Falquet, Gilles, Massink, Mieke, Santoro, Carmen (2005): Ambience and Mobility. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 264. https://dx.doi.org/10.1007/11752707_24
Furniss, Dominic, Dix, Alan J., Ponsard, Christophe, Zhang, Guo-Qiang (2005): Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notation. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 265. https://dx.doi.org/10.1007/11752707_25
Beek, Maurice H. Ter, Massink, Mieke, Latella, Diego (2005): Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 39-50. https://dx.doi.org/10.1007/11752707_4
Basnyat, Sandra, Chozos, Nick, Johnson, Chris, Palanque, Philippe A. (2005): Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Crit. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 51-66. https://dx.doi.org/10.1007/11752707_5
Paterno, Fabio, 0002, Marco Volpe (2005): Natural Modelling of Interactive Applications. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 67-77. https://dx.doi.org/10.1007/11752707_6
Paquette, David, Schneider, Kevin A. (2005): Task Model Simulation Using Interaction Templates. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 78-89. https://dx.doi.org/10.1007/11752707_7
Naghsh, Amir M., Dearden, Andy, Özcan, Mehmet B. (2005): Investigating Annotation in Electronic Paper-Prototypes. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 90-101. https://dx.doi.org/10.1007/11752707_8