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

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

by ; ;
ISBN13: 9783540428077
ISBN10: 3540428070
Format: Paperback
Pub. Date: 2001-11-01
Publisher(s): Springer Verlag
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $103.95

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
$42.90
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $56.71

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

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.

Table of Contents

Mobile Interface Design
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
1(15)
Kris Luyten
Karin Coninx
Model-Based User Interface Design Using Markup Concepts
16(12)
Andreas Mueller
Peter Forbrig
Clemens Cap
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive Systems
28(21)
Kevin A. Schneider
James R. Cordy
Task Modelling for Context-Sensitive User Interfaces
49(20)
Costin Pribeanu
Quentin Limbourg
Jean Vanderdonckt
Supervision and Control Systems
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis
69(19)
Maria de F.Q.V. Turnell
Alexandre Scaico
Marckson R.F. de Sousa
Angelo Perkusich
A Tool Suite for Integrating Task and System Models through Scenarios
88(26)
David Navarre
Philippe Palanque
Fabio Paterno
Carmen Santoro
Remi Bastide
Temporal and Stochastic Issues
Temporal Patterns for Complex Interaction Design
114(14)
Min Du
David England
Modelling Dynamic Group Behaviuors
128(16)
Jose Luis Garrido
Miguel Gea
Reasoning about Interactive Systems with Stochastic Models
144(20)
G. Doherty
M. Massink
G. Faconti
New Perspectives
Towards Uniformed Task Models in a Model-Based Approach
164(19)
Quentin Limbourg
Costin Pribeanu
Jean Vanderdonckt
Heuristic Evaluation of Website Attractiveness and Usability
183(16)
Alistair Sutcliffe
Affordance and Symmetry
199(20)
Harold Thimbleby
Author Index 219

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.