Skip to content

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

Spend $50 to get a free movie!

ISBN-10: 3211834052

ISBN-13: 9783211834053

Edition: 1999

Authors: D. J. Duke, A. Puerta

List price: $109.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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.
Customers also bought

Book details

List price: $109.00
Copyright year: 1999
Publisher: Springer
Publication date: 10/1/1999
Binding: Paperback
Pages: 282
Size: 7.00" wide x 9.75" 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