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

Description

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.

All years

Articles

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.