Coverart for item
The Resource Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999, edited by David Duke, Angel Puerta

Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999, edited by David Duke, Angel Puerta

Label
Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Title
Design, Specification and Verification of Interactive Systems '99
Title remainder
Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Statement of responsibility
edited by David Duke, Angel Puerta
Creator
Contributor
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Duke, David
Dewey number
005.437
Index
no index present
Language note
English
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Puerta, Angel
Series statement
Eurographics, 0946-2767
http://library.link/vocab/subjectName
Computer science
Label
Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999, edited by David Duke, Angel Puerta
Instantiates
Publication
Color
not applicable
Contents
Haptic Interactions in the Real and Virtual Worlds (M. Srinivasan) -- Matching Technology to People for Telepresence (M. Hollier) -- An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality (C.A. Wüthrich) -- Towards Hybrid Interface Specification for Virtual Environments (M. Maasink et al.) -- 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 et al.) -- 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 et al.) -- 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. Paternó et al.) -- Dialogue Validation from Task Analysis (F. Jambon et al.); Task and Object-Oriented Development of Interactive Systems -- How Many Models are Necessary? (P. Forbrig) -- Usability Properties in Dialog Models (M. van Welie et al.) -- Cross-Contextual Reference in Human-Computer Interaction (J. Rowson et al.) -- Modelisation of Co-operative Work (M. Gea et al.)
Control code
ocn840302782
Dimensions
unknown
Extent
1 online resource
Form of item
online
Isbn
9783709168158
Note
SpringerLink
Specific material designation
remote
System control number
(OCoLC)840302782
Label
Design, Specification and Verification of Interactive Systems '99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999, edited by David Duke, Angel Puerta
Publication
Color
not applicable
Contents
Haptic Interactions in the Real and Virtual Worlds (M. Srinivasan) -- Matching Technology to People for Telepresence (M. Hollier) -- An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality (C.A. Wüthrich) -- Towards Hybrid Interface Specification for Virtual Environments (M. Maasink et al.) -- 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 et al.) -- 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 et al.) -- 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. Paternó et al.) -- Dialogue Validation from Task Analysis (F. Jambon et al.); Task and Object-Oriented Development of Interactive Systems -- How Many Models are Necessary? (P. Forbrig) -- Usability Properties in Dialog Models (M. van Welie et al.) -- Cross-Contextual Reference in Human-Computer Interaction (J. Rowson et al.) -- Modelisation of Co-operative Work (M. Gea et al.)
Control code
ocn840302782
Dimensions
unknown
Extent
1 online resource
Form of item
online
Isbn
9783709168158
Note
SpringerLink
Specific material designation
remote
System control number
(OCoLC)840302782

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...