6. DSV-IS 1999: Braga, Portugal

David J. Duke, Angel R. Puerta (Eds.): Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer 1999, ISBN 3-211-83405-2

Mandayam A. Srinivasan, Cagatay Basdogan, Chih-Hao Ho: Haptic Interactions in the Real and Virtual Worlds. 1-16
Mike Hollier: Matching technology to people for telepresence. 17
Charles A. Wüthrich: An analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality. 18-29
Mieke Massink, David J. Duke, Shamus P. Smith: Towards Hybrid Interface Specifications for Virtual Environments. 30-51
Chris Roast, Jawed I. A. Siddiqi: Contrasting Models for Visualization (Seeing the wood through the trees). 52-66
Miguel Cabrera, Juan Carlos Torres, Miguel Gea: Towards User Interfaces for Rapid Prototyping from Algebraic Specifications. 67-83
Jean Vanderdonckt: Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications. 84-99
Pablo Castells, Pedro A. Szekely: Presentation Models by Example. 100-116
Panos Markopoulos, Paul Shrubsole, John H. M. de Vet: Refinement of the PAC model for the component design and specification of television based interfaces. 117-132
Tore Urnes, T. C. Nicholas Graham: Flexibility Mapping Synchronous Groupware Architectures to Distributed Implementations. 133-147
Bruno d'Ausbourg, Jacques Cazin: Using TRIO Specifications to Generate Test Cases for an Interactive System. 148-166
José Creissac Campos, Michael D. Harrison: Modelling and Analysing Connectivity in an Audio-Visual Communications System. 167-188
Fabio Paternò, Carmen Santoro, Robert E. Fields: Analysing User Deviations in Interactive Safety-Critical Applications. 189-204
Francis Jambon, Patrick Girard, Yohann Boisdron: Dialogue Validation from Task Analysis. 205-224
Peter Forbrig: Task and Object-Oriented Development of Interactive Systems - How many models are necessary? 225-237
Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns: Usability properties in dialogue model. 238-253
Jon Rowson, Peter Johnson, Graham White: Cross-contextual reference in human-computer interaction. 254-261
Miguel Gea, Francisco Luis Gutiérrez Vela, Juan Carlos Torres, Nicolás Padilla, Miguel Cabrera: Modelisation of co-operative work. 262-267
David J. Duke: Discussion topics for the DSV-IS'99 working groups. 268-269
Shamus P. Smith: Working group 1 report. 270-275
Graham White: Working group 2 report. 276-277
David A. Duce: Working group 3 report. 278-280