عنوان

Design, specification and verification of interactive systems '99 :

(Number (ISBN

3211834052

(Number (ISBN

9783211834053

Number

b549576

Title Proper

Design, specification and verification of interactive systems '99 :

General Material Designation

[Book]

Other Title Information

proceedings of the Eurographics Workshop in Braga, Potugal, June 2-4, 1999.

First Statement of Responsibility

D J Duke

Place of Publication, Distribution, etc.

Wien

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

2000

Specific Material Designation and Extent of Item

280 blz. ; .. cm.

Series Title

Springer computer science

Text of Note

Invited Talks: Haptic Interactions in the Real and Virtual Worlds (M. Srinivasan); Matching Technology to People for Telepresence (M. Hollier).- Papers Presented: An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality (C. A. Wuthrich); Towards Hybrid Interface Specification for Virtual Environments (M. Maasink, D. J. Duke, S. Smith); Contrasting Models for Visualization (Seeing the Wood through the Trees) (C. Roast, J. Siddiqi); Towards User Interfaces for Rapid Prototyping from Algebraic Specifications (M. Cabrera, J. C. Torres, M. Gea); Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications (J. Vanderdonckt); Presentation Models by Example (P. Castells, P. Szekely); Refinement of the PAC Model for the Component-based Design and Specification of Television Based Interfaces (P. Markopoulos, P. Shrubsole, J. de Vet); Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementations (T. Urnes,T. C. Graham); Using TRIO Specifications to Generate Test Cases for an Interactive System (B. d'Ausbourg, J. Cazin); Using Automated Reasoning in the Design of an Audio-Visual Communication System (J. C. Campos, M. D. Harrison); Analysing User Deviations in Interactive Safety-Critical Applications (F. Paterno, C. Santoro, B. Fields); Dialogue Validation from Task Analysis (F. Jambon, P. Girard, Y. Boisdron); Task and Object-Oriented Development of Interactive Systems - How Many Models are Necessary? (P. Forbrig); Usability Properties in Dialog Models (M. van Welie, G. C. van der Veer, A. Eliens).- Position Papers: Cross-Contextual Reference in Human-Computer Interaction (J. Rowson, P. Johnson, G. White); Modelisation of Co-operative Work (M. Gea, F. L. Gutierrez, J. C. Torres, N. Padilla, M. Cabrera).- Working Group Discussions: Discussion Topics for the DSV-IS'99 Working Groups (D. J. Duke); Working Group 1 Report (S. P. Smith); Working Group 2 Report (G. White); Working Group 3 Report(D. A. Duce).

Class number

Book number

D J Duke

A Puerta

D J Duke

Electronic name

[Book]

Y