DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop

Publisher
Springer
Website
Year
2008
Period
July 16-18
Place
Kingston, Canada
ISBN
978-3-540-70568-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

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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://dx.doi.org/10.1007/978-3-540-70569-7_9