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

Name: Design, Specification, and Verification of Interactive Systems '99 Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Price: 55.74 USD
Availability: InStock
ISBN: 9783211834053

ISBN-10: 3211834052

ISBN-13: 9783211834053

Edition: 1999

Authors: D. J. Duke, A. Puerta

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $55.74

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $54.99
Copyright year: 1999
Publisher: Springer
Publication date: 10/1/1999
Binding: Paperback
Pages: 282
Size: 6.69" wide x 9.61" long x 0.50" tall
Weight: 1.188
Language: English



Haptic Interactions in the Real and Virtual Worlds



Matching Technology to People for Telepresence



An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality



Towards Hybrid Interface Specification for Virtual Environments



Contrasting Models for Visualization (Seeing the Wood through the Trees)



Towards User Interfaces for Rapid Prototyping from Algebraic Specifications



Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications



Presentation Models by Example



Refinement of the PAC Model for the Component-based Design and Specification of Television-based Interfaces



Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementations



Using TRIO Specifications to Generate Test Cases for an Interactive System



Using Automated Reasoning in the Design of an Audio-Visual Communication System



Analysing User Deviations in Interactive Safety-Critical Applications



Dialogue Validation from Task Analysis



Task and Object-Oriented Development of Interactive Systems - How Many Models are Necessary?



Usability Properties in Dialog Models



Cross-Contextual Reference in Human-Computer Interaction



Modelisation of Co-operative Work



Discussion Topics for the DSV-IS'99 Working Groups



Working Group 1 Report



Working Group 2 Report



Working Group 3 Report