DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th 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: 2008
Period: July 16-18
Location: Kingston, Canada
Publisher: Springer
ISBN: 978-3-540-70568-0

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 2005 2006

Articles

Publications included in this conference proceedings

Blandford, Ann, Curzon, Paul, Hyde, Joanne, Papatzanis, George (2008): EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 1-14. https://dx.doi.org/10.1007/978-3-540-70569-7_1
Ayed, Leila Jemni Ben, Siala, Fatma (2008): Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combin. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 102-107. https://dx.doi.org/10.1007/978-3-540-70569-7_10
Hennipman, Elbert-Jan, Oppelaar, Evert-Jan, Veer, Gerrit van der (2008): Pattern Languages as Tool for Discount Usability Engineering. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 108-120. https://dx.doi.org/10.1007/978-3-540-70569-7_11
Winckler, Marco, Vanderdonckt, Jean M., Stanciulescu, Adrian, Trindade, Francisco M. (2008): Cascading Dialog Modeling with UsiXML. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 121-135. https://dx.doi.org/10.1007/978-3-540-70569-7_12
Tabart, Gilles, Conversy, Stephane, Vinot, Jean-Luc, Athènes, Sylvie (2008): Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuni. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 136-148. https://dx.doi.org/10.1007/978-3-540-70569-7_13
Dunlavey, Michael (2008): Lightweight Coding of Structurally Varying Dialogs. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 149-154. https://dx.doi.org/10.1007/978-3-540-70569-7_14
Dubois, Emmanuel, Bach, Cedric, Truillet, Philippe (2008): Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 15-28. https://dx.doi.org/10.1007/978-3-540-70569-7_2
Vanderhulst, Geert, Luyten, Kris, Coninx, Karin (2008): ReWiRe: Designing Reactive Systems for Pervasive Environments. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 155-160. https://dx.doi.org/10.1007/978-3-540-70569-7_15
Bergh, Jan Van den, Haesen, Mieke, Luyten, Kris, Notelaers, Sofie, Coninx, Karin (2008): Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 161-166. https://dx.doi.org/10.1007/978-3-540-70569-7_16
McBryan, Tony, Gray, Philip D. (2008): A Model-Based Approach to Supporting Configuration in Ubiquitous Systems. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 167-180. https://dx.doi.org/10.1007/978-3-540-70569-7_17
Mori, Giulio, Paterno, Fabio, Spano, Lucio Davide (2008): Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Ap. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 181-193. https://dx.doi.org/10.1007/978-3-540-70569-7_18
Doherty, Gavin, Campos, José Creissac, Harrison, Michael D. (2008): Resources for Situated Actions. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 194-207. https://dx.doi.org/10.1007/978-3-540-70569-7_19
Navarre, David, Palanque, Philippe A., Ladry, Jean-François, Basnyat, Sandra (2008): An Architecture and a Formal Description Technique for the Design and Implementation of Re. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 208-224. https://dx.doi.org/10.1007/978-3-540-70569-7_20
Demeure, Alexandre, Calvary, Gaelle, Coninx, Karin (2008): COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interf. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 225-237. https://dx.doi.org/10.1007/978-3-540-70569-7_21
Blumendorf, Marco, Lehmann, Grzegorz, Feuerstack, Sebastian, Albayrak, Sahin (2008): Executable Models for Human-Computer Interaction. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 238-251. https://dx.doi.org/10.1007/978-3-540-70569-7_22
Sakurai, Satoshi, Itoh, Yuichi, Kitamura, Yoshifumi, Nacenta, Miguel A., Yamaguchi, Tokuo, Subramanian, Sriram, Kishino, Fumio (2008): A Middleware for Seamless Use of Multiple Displays. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 252-266. https://dx.doi.org/10.1007/978-3-540-70569-7_23
Tissoires, Benjamin, Conversy, Stephane (2008): Graphic Rendering Considered as a Compilation Chain. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 267-280. https://dx.doi.org/10.1007/978-3-540-70569-7_24
Jourde, Frédéric, Laurillau, Yann, Morán, Alberto L., Nigay, Laurence (2008): Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 281-286. https://dx.doi.org/10.1007/978-3-540-70569-7_25
HURTER, Christophe, Conversy, Stephane (2008): Towards Characterizing Visualizations. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 287-293. https://dx.doi.org/10.1007/978-3-540-70569-7_26
Ferreira, Antonio, Antunes, Pedro (2008): An Attentive Groupware Device to Mitigate Information Overload. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 29-42. https://dx.doi.org/10.1007/978-3-540-70569-7_3
Wurdel, Maik, Sinnig, Daniel, Forbrig, Peter (2008): Task Model Refinement with Meta Operators. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 300-305. https://dx.doi.org/10.1007/978-3-540-70569-7_28
Lehmann, Grzegorz, Blumendorf, Marco, Feuerstack, Sebastian, Albayrak, Sahin (2008): Utilizing Dynamic Executable Models for User Interface Development. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 306-309. https://dx.doi.org/10.1007/978-3-540-70569-7_29
Memmel, Thomas, Vanderdonckt, Jean M., Reiterer, Harald (2008): Multi-fidelity User Interface Specifications. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 43-57. https://dx.doi.org/10.1007/978-3-540-70569-7_4
Dittmar, Anke, Hübner, Toralf, Forbrig, Peter (2008): HOPS: A Prototypical Specification Tool for Interactive Systems. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 58-71. https://dx.doi.org/10.1007/978-3-540-70569-7_5
Campos, José Creissac, Harrison, Michael D. (2008): Systematic Analysis of Control Panel Interfaces Using Formal Tools. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 72-85. https://dx.doi.org/10.1007/978-3-540-70569-7_6
Scaico, Alexandre, Vieira, Maria de F. Q., Sousa, Marckson R. F. de, Santoni, Charles (2008): Investigating System Navigation Ergonomics through Model Verification. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 86-91. https://dx.doi.org/10.1007/978-3-540-70569-7_7
Reichart, Daniel, Dittmar, Anke, Forbrig, Peter, Wurdel, Maik (2008): Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 92-95. https://dx.doi.org/10.1007/978-3-540-70569-7_8
García, Josefina Guerrero, Vanderdonckt, Jean M., González-Calleros, Juan Manuel, Winckler, Marco (2008): Towards a Library of Workflow User Interface Patterns. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 96-101. https://dx.doi.org/10.1007/978-3-540-70569-7_9
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

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

Next email in
0
days
21
hrs
53
mins
7
secs

Free forever. No spam. Unsubscribe anytime.