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

Invited Paper

Larry L. Constantine:
Canonical Abstract Prototypes for Abstract Visual and Interaction. 1-15

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

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

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

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

Silvia Berti, Fabio Paternò:
Model-Based Design of Speech Interfaces. 231-244
Víctor López-Jaquero, Francisco Montero, José Pascual Molina, Antonio Fernández-Caballero, Pascual González:
Model-Based Design of Adaptive User Interfaces through Connectors. 245-257
Christian Stary, Simone Stoiber:
Model-Based Electronic Performance Support. 258-272

Nikola Mitrovic, Eduardo Mena:
Improving User Interface Usability Using Mobile Agents. 273-287
José Creissac Campos, Gavin J. Doherty:
Reasoning about Dynamic Information Displays. 288-302
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

Bengt Göransson, Magnus Lif, Jan Gulliksen:
Usability Design - Extending Rational Unified Process with a New Discipline. 316-330
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
Hallvard Trætteberg:
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. 346-361

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

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

Last update Thu May 24 04:16:33 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page