+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Design, Specification, and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 :  Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 - D. J. Duke

Design, Specification, and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999

Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999

By: D. J. Duke (Editor), Angel Puerta (Editor)

Paperback Published: November 1999
ISBN: 9783211834053
Number Of Pages: 282

Share This Book:

Paperback

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

Earn 250 Qantas Points
on this Book

The collection of papers in this volume covers specification methods and their use in design, model-based tool support, task and dialogue models, distributed collaboration, and models for virtual reality input. Strong emphasis is laid on formal representations and modelling techniques and their use in understanding interaction and informing the design of artefacts.

Haptic Interactions in the Real and Virtual Worldsp. 1
Matching Technology to People for Telepresencep. 17
An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Realityp. 18
Towards Hybrid Interface Specification for Virtual Environmentsp. 30
Contrasting Models for Visualization (Seeing the Wood through the Trees)p. 52
Towards User Interfaces for Rapid Prototyping from Algebraic Specificationsp. 67
Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applicationsp. 84
Presentation Models by Examplep. 100
Refinement of the PAC Model for the Component-based Design and Specification of Television-based Interfacesp. 117
Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementationsp. 133
Using TRIO Specifications to Generate Test Cases for an Interactive Systemp. 148
Using Automated Reasoning in the Design of an Audio-Visual Communication Systemp. 167
Analysing User Deviations in Interactive Safety-Critical Applicationsp. 189
Dialogue Validation from Task Analysisp. 205
Task and Object-Oriented Development of Interactive Systems - How Many Models are Necessary?p. 225
Usability Properties in Dialog Modelsp. 238
Cross-Contextual Reference in Human-Computer Interactionp. 254
Modelisation of Co-operative Workp. 262
Discussion Topics for the DSV-IS'99 Working Groupsp. 268
Working Group 1 Reportp. 270
Working Group 2 Reportp. 276
Working Group 3 Reportp. 278
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783211834053
ISBN-10: 3211834052
Series: Eurographics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 282
Published: November 1999
Publisher: SPRINGER VERLAG GMBH
Country of Publication: AT
Dimensions (cm): 24.41 x 16.99  x 1.58
Weight (kg): 0.48

Earn 250 Qantas Points
on this Book