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

DSV-IS is now subsumed by the EICS conference - Engineering Interactive Computing Systems. DSV-IS provides a forum for researchers addressing the design and development of interactive systems. The workshop investigates the effective design, specification and verification of interactive systems, at all points in the software life cycle.

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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://dx.doi.org/10.1007/11752707_8