10. DSV-IS 2003: Funchal, Madeira Island, Portugal

Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (Eds.): Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Lecture Notes in Computer Science 2844 Springer 2003, ISBN 3-540-20159-9 BibTeX

Invited Paper

Larry L. Constantine:
Canonical Abstract Prototypes for Abstract Visual and Interaction. 1-15
Electronic Edition (link) BibTeX

Simone Diniz Junqueira Barbosa, Maíra Greco de Paula:
Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering. 16-33
Electronic Edition (link) BibTeX
Marcelo Fantinato, Mario Jino:
Applying Extended Finite State Machines in Software Testing of Interactive Systems. 34-45
Electronic Edition (link) BibTeX
Daniel Gonçalves, Joaquim A. Jorge:
An Empirical Study of Personal Document Spaces. 46-60
Electronic Edition (link) BibTeX

Marco Winckler, Philippe A. Palanque:
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. 61-76
Electronic Edition (link) BibTeX
Karina Oertel, Oliver Hein:
Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer. 77-91
Electronic Edition (link) BibTeX
W. Greg Phillips, T. C. Nicholas Graham:
Workspaces: A Multi-level Architectural Style for Synchronous Groupware. 92-106
Electronic Edition (link) BibTeX

Antony Courtney:
Functionally Modeled User Interfaces. 107-123
Electronic Edition (link) BibTeX
Baha Jabarin, T. C. Nicholas Graham:
Architectures for Widget-Level Plasticity. 124-138
Electronic Edition (link) BibTeX
Ana Paiva, João C. P. Faria, Raul F. A. M. Vidal:
Specification-Based Testing of User Interfaces. 139-153
Electronic Edition (link) BibTeX
João Paulo Pereira, Joaquim A. Jorge, Vasco A. Branco, Fernando Nunes Ferreira:
Calligraphic Interfaces: Mixed Metaphors for Design. 154-170
Electronic Edition (link) BibTeX

José Creissac Campos:
Using Task Knowledge to Guide Interactor Specifications Analysis. 171-186
Electronic Edition (link) BibTeX
Anke Dittmar, Peter Forbrig:
Higher-Order Task Models. 187-202
Electronic Edition (link) BibTeX
Kris Luyten, Tim Clerckx, Karin Coninx, Jean Vanderdonckt:
Derivation of a Dialog Model from a Task Model by Activity Chain Extraction. 203-217
Electronic Edition (link) BibTeX
Pedro J. Molina, Jorge Belenguer, Oscar Pastor:
Describing Just-UI Concepts Using a Task Notation. 218-230
Electronic Edition (link) BibTeX

Nikola Mitrovic, Eduardo Mena:
Improving User Interface Usability Using Mobile Agents. 273-287
Electronic Edition (link) BibTeX
José Creissac Campos, Gavin J. Doherty:
Reasoning about Dynamic Information Displays. 288-302
Electronic Edition (link) BibTeX
José Pascual Molina, Pascual González, María Dolores Lozano, Francisco Montero, Víctor López-Jaquero:
Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology. 303-315
Electronic Edition (link) BibTeX

Bengt Göransson, Magnus Lif, Jan Gulliksen:
Usability Design - Extending Rational Unified Process with a New Discipline. 316-330
Electronic Edition (link) BibTeX
Lia Patrício, João Falcão e Cunha, Raymond P. Fisk, Nuno Jardim Nunes:
Addressing Marketing Requirements in User-Interface Design for Multiple Platforms. 331-345
Electronic Edition (link) BibTeX
Hallvard Trætteberg:
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. 346-361
Electronic Edition (link) BibTeX

Simon Crowle, Linda Hole:
ISML: An Interface Specification Meta-language. 362-376
Electronic Edition (link) BibTeX
Nathalie Souchon, Jean Vanderdonckt:
A Review of XML-compliant User Interface Description Languages. 377-391
Electronic Edition (link) BibTeX
Christian Märtin, Bernhard Prell:
Contextual Design of a Computer-Supported Film Set: A Case Study. 392-405
Electronic Edition (link) BibTeX

Georgios Christou, Robert J. K. Jacob:
Evaluating and Comparing Interaction Styles. 406-409
Electronic Edition (link) BibTeX
Carlos Santos, Nuno Correia:
A Navigation and Registration System for Mobile and Augmented Environments. 410-414
Electronic Edition (link) BibTeX
Bruno Rodrigues de Araújo, André M. C. Campos, Joaquim A. Jorge:
MIKE: A Multimodal Cinematographic Editor for Virtual Worlds. 415-419
Electronic Edition (link) BibTeX
Francisco Montero, Víctor López-Jaquero, José Pascual Molina, Pascual González:
An Approach to Develop User Interfaces with Plasticity. 420-423
Electronic Edition (link) BibTeX
I. Deliyannis, J. Harvey, Mike F. Webster:
Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets. 424-428
Electronic Edition (link) BibTeX