DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop

Publisher

Springer

Website

Year

1999

Period

June 2-4

Place

Braga, Portugal

ISBN

3-211-83405-2

Series

DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems

DOI

Volume

Copyright info

DSV-IS is now subsumed by the EICS conference - Engineering Interactive Computing Systems. DSV-IS provides a forum for researchers addressing the design and development of interactive systems. The workshop investigates the effective design, specification and verification of interactive systems, at all points in the software life cycle.

1994 1995 1996 1997 1998 1998 1999 2000 2001 2002 2003 2005 2006 2008

Srinivasan, Mandayam A., Basdogan, Cagatay, Ho, Chih-hao (1999): Haptic Interactions in the Real and Virtual Worlds. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 1-16.

Castells, Pablo, Szekely, Pedro A. (1999): Presentation Models by Example. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 100-116.

Markopoulos, Panos, Shrubsole, Paul, Vet, John H. M. de (1999): Refinement of the PAC model for the component design and specification of television based. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 117-132.

Urnes, Tore, Graham, T. C. Nicholas (1999): Flexibility Mapping Synchronous Groupware Architectures to Distributed Implementations. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 133-147.

d\'Ausbourg, Bruno, Cazin, Jacques (1999): Using TRIO Specifications to Generate Test Cases for an Interactive System. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 148-166.

Campos, José Creissac, Harrison, Michael D. (1999): Modelling and Analysing Connectivity in an Audio-Visual Communications System. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 167-188.

Hollier, Mike (1999): Matching technology to people for telepresence. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 17.

Wüthrich, Charles A. (1999): An analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 18-29.

Paterno, Fabio, Santoro, Carmen, Fields, Robert E. (1999): Analysing User Deviations in Interactive Safety-Critical Applications. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 189-204.

Jambon, Francis, Girard, Patrick, Boisdron, Yohann (1999): Dialogue Validation from Task Analysis. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 205-224.

Forbrig, Peter (1999): Task and Object-Oriented Development of Interactive Systems - How many models are necessar. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 225-237.

Welie, Martijn van, Veer, Gerrit van der, Eliens, Anton (1999): Usability properties in dialogue model. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 238-253.

Rowson, Jon, Johnson, Peter, White, Graham (1999): Cross-contextual reference in human-computer interaction. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 254-261.

Gea, Miguel, Vela, Francisco Luis Gutiérrez, Torres, Juan Carlos, Padilla, Nicolás, Cabrera, Miguel (1999): Modelisation of co-operative work. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 262-267.

Duke, David J. (1999): Discussion topics for the DSV-IS\'99 working groups. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 268-269.

Smith, Shamus P. (1999): Working group 1 report. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 270-275.

White, Graham (1999): Working group 2 report. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 276-277.

Duce, David A. (1999): Working group 3 report. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 278-280.

Massink, Mieke, Duke, David J., Smith, Shamus P. (1999): Towards Hybrid Interface Specifications for Virtual Environments. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 30-51.

Roast, Chris, Siddiqi, Jawed I. A. (1999): Contrasting Models for Visualization (Seeing the wood through the trees). In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 52-66.

Cabrera, Miguel, Torres, Juan Carlos, Gea, Miguel (1999): Towards User Interfaces for Rapid Prototyping from Algebraic Specifications. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 67-83.

Vanderdonckt, Jean M. (1999): Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications. In: Duke, David J., Puerta, Angel R. (eds.) DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop June 2-4, 1999, Braga, Portugal. pp. 84-99.