DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop

Part of: DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems

Conference Details

Year: 2005
Period: July 13-15
Location: Newcastle upon Tyne, UK
Publisher: Springer
ISBN: 3-540-34145-5

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.

Other Years in Series

Other proceedings in the DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems series

1994 1995 1996 1997 1998 1998 1999 2000 2001 2002 2003 2006 2008

Articles

Publications included in this conference proceedings

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
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,038+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
1
day
5
hrs
59
mins
13
secs

Free forever. No spam. Unsubscribe anytime.