|
" Design, specification and verification of interactive systems '99 : "
D J Duke
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
729820
|
| Doc. No
|
:
|
b549576
|
| Main Entry
|
:
|
D J Duke
|
| Title & Author
|
:
|
Design, specification and verification of interactive systems '99 : : proceedings of the Eurographics Workshop in Braga, Potugal, June 2-4, 1999.\ D J Duke
|
| Publication Statement
|
:
|
Wien: Springer, 2000
|
| Series Statement
|
:
|
Springer computer science
|
| Page. NO
|
:
|
280 blz. ; .. cm.
|
| ISBN
|
:
|
3211834052
|
|
|
:
|
: 9783211834053
|
| Contents
|
:
|
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).
|
| LC Classification
|
:
|
T385.D538 2000
|
| Added Entry
|
:
|
A Puerta
|
|
|
:
|
D J Duke
|
| |