rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783540416630

Interactive Systems: Design, Specification, and Verification : 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000 : Revised Papers

by ; ;
  • ISBN13:

    9783540416630

  • ISBN10:

    3540416633

  • Format: Paperback
  • Copyright: 2001-03-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $99.00 Save up to $79.20
  • Digital
    $42.90*
    Add to Cart

    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000.The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems.

Table of Contents

Designing Interactive Distributed Systems
Specifying Temporal Behaviour in Software Architectures for Groupware Systems
1(18)
Timothy N. Wright
Nicholas Graham
Urnes
Questioning the Foundations of Utility for Quality of Service in Interface Development
19(16)
Chris Johnson
Designing User Interfaces
A Framework for the Combination and Characterization of Output Modalities
35(16)
Frederic Vernier
Nigay
Specifying Multiple Time Granularities in Interactive Systems
51(14)
Maria Kutar
Britton
Nehaniv
Verifying the Behaviour of Virtual Environment World Objects
65(14)
James S. Willans
D. Harrison
Tools for User Interfaces
SUIT-Context Sensitive Evaluation of User Interface Development Tools
79(18)
Joanna Lumsden
Gray
Structuring Interactive Systems Specifications for Executability and Prototypability
97(24)
David Navarre
Palanque
Bastide
Sy
A Toolkit of Mechanism and Context Independent Widgets
121(14)
Murray Crease
Gray
Brewster
Formal Methods for Human-Computer Interaction
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties
135(16)
Fabio Paterno
Santoro
More Precise Descriptions of Temporal Relations within Task Models
151(18)
Anke Ditmar
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds?
169(22)
Karsten Loer
Harrison
Model-Based Design of Interactive Systems
Wisdom-A UML Based Architecture for Interactive Systems
191(16)
Nuno Jardim Nunes
Falcao e Cunha
User Interface Declarative Models and Development Environments: A Survey
207(20)
Paulo Pinheiro da Silva
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results
227
Quentin Limbourg
Vanderdonckt
Souchon
Indexes
Subject Index
247
Author Index
251

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program