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 BibTeX

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