DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop

Publisher
Springer
Website
Year
2006
Period
July 26-28
Place
Dublin, Ireland
ISBN
978-3-540-69553-0
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

Gulliksen, Jan (2006): How Do Developers Meet Users? - Attitudes and Processes in Software Development. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 1-10. http://dx.doi.org/10.1007/978-3-540-69554-7_1

Roast, Chris, Khazaei, Babak (2006): An Investigation into the Validation of Formalised Cognitive Dimensions. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 109-122. http://dx.doi.org/10.1007/978-3-540-69554-7_9

Thimbleby, Harold W. (2006): Validity and Cross-Validity in HCI Publications. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 11-24. http://dx.doi.org/10.1007/978-3-540-69554-7_2

Ruksenas, Rimvydas, Curzon, Paul, Back, Jonathan, Blandford, Ann (2006): Formal Modelling of Cognitive Interpretation. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 123-136. http://dx.doi.org/10.1007/978-3-540-69554-7_10

Silva, João Carlos, Campos, José Creissac, Saraiva, João (2006): Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of In. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 137-150. http://dx.doi.org/10.1007/978-3-540-69554-7_11

Potter, Richard, Wright, Helen (2006): An Ontological Approach to Visualization Resource Management. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 151-156. http://dx.doi.org/10.1007/978-3-540-69554-7_12

Lepreux, Sophie, Vanderdonckt, Jean M., Michotte, Benjamin (2006): Visual Design of User Interfaces by (De)composition. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 157-170. http://dx.doi.org/10.1007/978-3-540-69554-7_13

Smith, Shamus P. (2006): Exploring the Specification of Haptic Interaction. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 171-184. http://dx.doi.org/10.1007/978-3-540-69554-7_14

Faconti, Giorgio P., Massink, Mieke (2006): Analysis of Pointing Tasks on a White Board. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 185-198. http://dx.doi.org/10.1007/978-3-540-69554-7_15

Petrie, Jennifer N., Schneider, Kevin A. (2006): Mixed-Fidelity Prototyping of User Interfaces. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 199-212. http://dx.doi.org/10.1007/978-3-540-69554-7_16

González, María Paula, Granollers, Toni, Lores, Jesus (2006): A Hybrid Approach for Modelling Early Prototype Evaluation Under User-Centred Design Throu. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 213-219. http://dx.doi.org/10.1007/978-3-540-69554-7_17

O\'Neill, Eleanor, Lewis, David, McGlinn, Kris, Dobson, Simon (2006): Rapid User-Centred Evaluation for Context-Aware Systems. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 220-233. http://dx.doi.org/10.1007/978-3-540-69554-7_18

Nilsson, Erik G., Floch, Jacqueline, Hallsteinsen, Svein O., Stav, Erlend (2006): Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Fac. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 234-247. http://dx.doi.org/10.1007/978-3-540-69554-7_19

Graham, T. C. Nicholas, Roberts, Will (2006): Toward Quality-Driven Development of 3D Computer Games. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 248-261. http://dx.doi.org/10.1007/978-3-540-69554-7_20

Barboni, Eric, Conversy, Stephane, Navarre, David, Palanque, Philippe A. (2006): Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 25-38. http://dx.doi.org/10.1007/978-3-540-69554-7_3

Chatty, Stephane, Campos, José Creissac, González, María Paula, Lepreux, Sophie, Nilsson, Erik G., Penichet, Victor M. Ruiz, Santos, Mónica Sara, Bergh, Jan Van den (2006): Processes: Working Group Report. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 262-264. http://dx.doi.org/10.1007/978-3-540-69554-7_21

Graham, T. C. Nicholas, Curzon, Paul, Doherty, Gavin, Palanque, Philippe A., Potter, Richard, Roast, Christopher, Smith, Shamus P. (2006): Usability and Computer Games: Working Group Report. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 265-268. http://dx.doi.org/10.1007/978-3-540-69554-7_22

Santos, Mónica Sara, Cunha, Joao Falcao e, Pereira, Altamiro da Costa (2006): Usability Requirements for Improving the Infection Module of a Hospital Intensive Care Uni. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 39-51. http://dx.doi.org/10.1007/978-3-540-69554-7_4

Thimbleby, Harold W. (2006): Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 52-66. http://dx.doi.org/10.1007/978-3-540-69554-7_5

Penichet, Victor M. Ruiz, Paterno, Fabio, Gallud, José A., Lozano, María Dolores (2006): Collaborative Social Structures and Task Modelling Integration. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 67-80. http://dx.doi.org/10.1007/978-3-540-69554-7_6

Bergh, Jan Van den, Huypens, Steven, Coninx, Karin (2006): Towards Model-Driven Development of Staged Participatory Multimedia Events. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 81-94. http://dx.doi.org/10.1007/978-3-540-69554-7_7

Coninx, Karin, Cuppens, Erwin, Boeck, Joan De, Raymaekers, Chris (2006): Integrating Support for Usability Evaluation into High Level Interaction Descriptions with. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 95-108. http://dx.doi.org/10.1007/978-3-540-69554-7_8