Interactive Systems: Design, Specification, and Verification : 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2 ... ers (Lecture Notes in Computer Science, 2844) |
|
|
|
|
| Dsv-Is 200, Nuno Jardim Nunes, Joao Falcao E Cunha |
| November 2003, Springer Verlag, Paperback, 429 pages, ISBN 3540201599
|
|
|
|
 |
|
| This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages. |
 |
|
Canonical Abstract Prototypes for Abstract Visual and Interaction
Design 1
Designing and Evaluating Interaction as Conversation: A Modeling Language:
Based on Semiotic Engineering 16
Applying Extended Finite State Machines in Software Testing of Interactive
Systems 34
An Empirical Study of Personal Document Spaces 46
StateWebCharts: A Formal Description Technique Dedicated to Navigation
Modelling of Web Applications 61
Identification of Web Usability Problems and Interaction Patterns
with the RealEYES-iAnalyzer 77
Workspaces: A Multi-level Architectural Style for Synchronous Groupware
92
Functionally Modeled User Interfaces 107
Architectures for Widget-Level Plasticity 124
Specification-Based Testing of User Interfaces 139
Calligraphic Interfaces: Mixed Metaphors for Design 154
Using Task Knowledge to Guide Interactor Specifications Analysis 171
Higher-Order Task Models 187
Derivation of a Dialog Model from a Task Model by Activity Chain Extraction
203
Describing Just-UI Concepts Using a Task Notation 218
Model-Based Design of Speech Interfaces 231
Model-Based Design of Adaptive User Interfaces through Connectors
245
Model-Based Electronic Performance Support 258
Improving User Interface Usability Using Mobile Agents 273
Reasoning about Dynamic Information Displays 288
Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS
Methodology 303
Usability Design - Extending Rational Unified Process with a New Discipline
316
Addressing Marketing Requirements in User-Interface Design for Multiple
Platforms 331
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach
346
ISML: An Interface Specification Meta-language 362
A Review of XML-compliant User Interface Description Languages 377
Contextual Design of a Computer-Supported Film Set: A Case Study 392
Evaluating and Comparing Interaction Styles 406
A Navigation and Registration System for Mobile and Augmented Environments
410
MIKE: A Multimodal Cinematographic Editor for Virtual Worlds 415
An Approach to Develop User Interfaces wilth Plasticity 420
Multimedia Environments and Interactive Scientific Presentation of
Industrially-Based Data Sets 424
Author Index 429 |
|
|
