+612 9045 4394
 
CHECKOUT
Interactive Systems - Design, Specification and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers :  8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers - Chris J. Johnson

Interactive Systems - Design, Specification and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers

8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June, 2001 Revised Papers

By: Chris J. Johnson (Editor)

Paperback Published: November 2001
ISBN: 9783540428077
Number Of Pages: 221

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

Mobile Interface Design
An XML-Based Runtime User Interface Description Language for Mobile Computing Devicesp. 1
Model-Based User Interface Design Using Markup Conceptsp. 16
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systemsp. 28
Task Modelling for Context-Sensitive User Interfacesp. 49
Supervision and Control Systems
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysisp. 69
A Tool Suite for Integrating Task and System Models through Scenariosp. 88
Temporal and Stochastic Issues
Temporal Patterns for Complex Interaction Designp. 114
Modelling Dynamic Group Behavioursp. 128
Reasoning about Interactive Systems with Stochastic Modelsp. 144
New Perspectives
Towards Uniformed Task Models in a Model-Based Approachp. 164
Heuristic Evaluation of Website Attractiveness and Usabilityp. 183
Affordance and Symmetryp. 199
Author Indexp. 219
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540428077
ISBN-10: 3540428070
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 221
Published: November 2001
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.27
Weight (kg): 0.34