Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 (Paperback or Softback)

Duke, D. J.

ISBN 10: 3211834052 / ISBN 13: 9783211834053

Editore: Springer 10/1/1999, 1999

Riguardo questo articolo

Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 1.05. Codice articolo BBS-9783211834053

Dati bibliografici

Titolo: Design, Specification and Verification of ...

Casa editrice: Springer 10/1/1999

Data di pubblicazione: 1999

Legatura: Paperback or Softback

Condizione: New

Tipologia articolo: Book

Descrizione articolo

Riassunto:

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.

Contenuti:

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. Wüthrich); 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. Paternó, 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. Eliėns).- 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).