DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th 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: 2003
Period: June 11-13
Location: Funchal, Madeira Island, Portugal
Publisher: Springer
ISBN: 3-540-20159-9

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

Articles

Publications included in this conference proceedings

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

Feel Stuck? Want Freedom?

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

Next email in
1
day
12
hrs
7
mins
0
secs

Free forever. No spam. Unsubscribe anytime.