+612 9045 4394
 
CHECKOUT
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - J. Jorge

Interactive Systems. Design, Specification, and Verification

10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

By: J. Jorge (Editor), Nuno Jardim Nunes (Editor)

Paperback

Published: 9th October 2003
Ships: 5 to 9 business days
5 to 9 business days
$135.51
or 4 easy payments of $33.88 with Learn more

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 Designp. 1
Designing and Evaluating Interaction as Conversation: A Modeling Language: Based on Semiotic Engineeringp. 16
Applying Extended Finite State Machines in Software Testing of Interactive Systemsp. 34
An Empirical Study of Personal Document Spacesp. 46
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applicationsp. 61
Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzerp. 77
Workspaces: A Multi-level Architectural Style for Synchronous Groupwarep. 92
Functionally Modeled User Interfacesp. 107
Architectures for Widget-Level Plasticityp. 124
Specification-Based Testing of User Interfacesp. 139
Calligraphic Interfaces: Mixed Metaphors for Designp. 154
Using Task Knowledge to Guide Interactor Specifications Analysisp. 171
Higher-Order Task Modelsp. 187
Derivation of a Dialog Model from a Task Model by Activity Chain Extractionp. 203
Describing Just-UI Concepts Using a Task Notationp. 218
Model-Based Design of Speech Interfacesp. 231
Model-Based Design of Adaptive User Interfaces through Connectorsp. 245
Model-Based Electronic Performance Supportp. 258
Improving User Interface Usability Using Mobile Agentsp. 273
Reasoning about Dynamic Information Displaysp. 288
Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodologyp. 303
Usability Design - Extending Rational Unified Process with a New Disciplinep. 316
Addressing Marketing Requirements in User-Interface Design for Multiple Platformsp. 331
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approachp. 346
ISML: An Interface Specification Meta-languagep. 362
A Review of XML-compliant User Interface Description Languagesp. 377
Contextual Design of a Computer-Supported Film Set: A Case Studyp. 392
Evaluating and Comparing Interaction Stylesp. 406
A Navigation and Registration System for Mobile and Augmented Environmentsp. 410
MIKE: A Multimodal Cinematographic Editor for Virtual Worldsp. 415
An Approach to Develop User Interfaces wilth Plasticityp. 420
Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Setsp. 424
Author Indexp. 429
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540201595
ISBN-10: 3540201599
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 432
Published: 9th October 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.62