DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop

Publisher

Springer

Website

Year

2003

Period

June 11-13

Place

Funchal, Madeira Island, Portugal

ISBN

3-540-20159-9

Series

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

DOI

Volume

Copyright info

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.

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

Constantine, Larry L. (2003): Canonical Abstract Prototypes for Abstract Visual and Interaction. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 1-15. https://link.springer.de/link/service/series/0558/bibs/2844/28440001.htm

Courtney, Antony (2003): Functionally Modeled User Interfaces. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 107-123. https://link.springer.de/link/service/series/0558/bibs/2844/28440107.htm

Jabarin, Baha, Graham, T. C. Nicholas (2003): Architectures for Widget-Level Plasticity. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 124-138. https://link.springer.de/link/service/series/0558/bibs/2844/28440124.htm

Paiva, Ana, Faria, João C. P., Vidal, Raul F. A. M. (2003): Specification-Based Testing of User Interfaces. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 139-153. https://link.springer.de/link/service/series/0558/bibs/2844/28440139.htm

Pereira, João Paulo, Jorge, Joaquim A., Branco, Vasco A., Ferreira, Fernando Nunes (2003): Calligraphic Interfaces: Mixed Metaphors for Design. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 154-170. https://link.springer.de/link/service/series/0558/bibs/2844/28440154.htm

Barbosa, Simone Diniz Junqueira, Paula, Maira Greco de (2003): Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semioti. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 16-33. https://link.springer.de/link/service/series/0558/bibs/2844/28440016.htm

Campos, José Creissac (2003): Using Task Knowledge to Guide Interactor Specifications Analysis. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 171-186. https://link.springer.de/link/service/series/0558/bibs/2844/28440171.htm

Dittmar, Anke, Forbrig, Peter (2003): Higher-Order Task Models. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 187-202. https://link.springer.de/link/service/series/0558/bibs/2844/28440187.htm

Luyten, Kris, Clerckx, Tim, Coninx, Karin, Vanderdonckt, Jean M. (2003): Derivation of a Dialog Model from a Task Model by Activity Chain Extraction. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 203-217. https://link.springer.de/link/service/series/0558/bibs/2844/28440203.htm

Molina, Pedro J., Belenguer, Jorge, Pastor, Oscar (2003): Describing Just-UI Concepts Using a Task Notation. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 218-230. https://link.springer.de/link/service/series/0558/bibs/2844/28440218.htm

Berti, Silvia, Paterno, Fabio (2003): Model-Based Design of Speech Interfaces. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 231-244. https://link.springer.de/link/service/series/0558/bibs/2844/28440231.htm

López-Jaquero, Víctor, Montero, Francisco, Molina, José Pascual, Fernández-Caballero, Antonio, González, Pascual (2003): Model-Based Design of Adaptive User Interfaces through Connectors. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 245-257. https://link.springer.de/link/service/series/0558/bibs/2844/28440245.htm

Stary, Christian, Stoiber, Simone (2003): Model-Based Electronic Performance Support. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 258-272. https://link.springer.de/link/service/series/0558/bibs/2844/28440258.htm

Mitrovic, Nikola, Mena, Eduardo (2003): Improving User Interface Usability Using Mobile Agents. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 273-287. https://link.springer.de/link/service/series/0558/bibs/2844/28440273.htm

Campos, José Creissac, Doherty, Gavin (2003): Reasoning about Dynamic Information Displays. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 288-302. https://link.springer.de/link/service/series/0558/bibs/2844/28440288.htm

Molina, José Pascual, González, Pascual, Lozano, María Dolores, Montero, Francisco, López-Jaquero, Víctor (2003): Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 303-315. https://link.springer.de/link/service/series/0558/bibs/2844/28440303.htm

Goransson, Bengt, Lif, Magnus, Gulliksen, Jan (2003): Usability Design - Extending Rational Unified Process with a New Discipline. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 316-330. https://link.springer.de/link/service/series/0558/bibs/2844/28440316.htm

Patrício, Lia, Cunha, Joao Falcao e, Fisk, Raymond P., Nunes, Nuno Jardim (2003): Addressing Marketing Requirements in User-Interface Design for Multiple Platforms. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 331-345. https://link.springer.de/link/service/series/0558/bibs/2844/28440331.htm

Fantinato, Marcelo, Jino, Mario (2003): Applying Extended Finite State Machines in Software Testing of Interactive Systems. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 34-45. https://link.springer.de/link/service/series/0558/bibs/2844/28440034.htm

Traetteberg, Hallvard (2003): Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 346-361. https://link.springer.de/link/service/series/0558/bibs/2844/28440346.htm

Crowle, Simon, Hole, Linda (2003): ISML: An Interface Specification Meta-language. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 362-376. https://link.springer.de/link/service/series/0558/bibs/2844/28440362.htm

Souchon, Nathalie, Vanderdonckt, Jean M. (2003): A Review of XML-compliant User Interface Description Languages. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 377-391. https://link.springer.de/link/service/series/0558/bibs/2844/28440377.htm

Märtin, Christian, Prell, Bernhard (2003): Contextual Design of a Computer-Supported Film Set: A Case Study. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 392-405. https://link.springer.de/link/service/series/0558/bibs/2844/28440392.htm

Christou, Georgios, Jacob, Robert J. K. (2003): Evaluating and Comparing Interaction Styles. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 406-409. https://link.springer.de/link/service/series/0558/bibs/2844/28440406.htm

Santos, Carlos, Correia, Nuno (2003): A Navigation and Registration System for Mobile and Augmented Environments. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 410-414. https://link.springer.de/link/service/series/0558/bibs/2844/28440410.htm

Araújo, Bruno Rodrigues de, Campos, André M. C., Jorge, Joaquim A. (2003): MIKE: A Multimodal Cinematographic Editor for Virtual Worlds. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 415-419. https://link.springer.de/link/service/series/0558/bibs/2844/28440415.htm

Montero, Francisco, López-Jaquero, Víctor, Molina, José Pascual, González, Pascual (2003): An Approach to Develop User Interfaces with Plasticity. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 420-423. https://link.springer.de/link/service/series/0558/bibs/2844/28440420.htm

Deliyannis, I., Harvey, J., Webster, Mike F. (2003): Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 424-428. https://link.springer.de/link/service/series/0558/bibs/2844/28440424.htm

Goncalves, Daniel, Jorge, Joaquim A. (2003): An Empirical Study of Personal Document Spaces. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 46-60. https://link.springer.de/link/service/series/0558/bibs/2844/28440046.htm

Winckler, Marco, Palanque, Philippe A. (2003): StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Ap. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 61-76. https://link.springer.de/link/service/series/0558/bibs/2844/28440061.htm

Oertel, Karina, Hein, Oliver (2003): Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnaly. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 77-91. https://link.springer.de/link/service/series/0558/bibs/2844/28440077.htm

Phillips, W. Greg, Graham, T. C. Nicholas (2003): Workspaces: A Multi-level Architectural Style for Synchronous Groupware. In: Jorge, Joaquim A., Nunes, Nuno Jardim, Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 92-106. https://link.springer.de/link/service/series/0558/bibs/2844/28440092.htm