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

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

Conference Details

Year: 1999
Period: June 2-4
Location: Braga, Portugal
Publisher: Springer
ISBN: 3-211-83405-2

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.

Other Years in Series

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

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

Articles

Publications included in this conference proceedings

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.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,038+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
1
day
5
hrs
49
mins
38
secs

Free forever. No spam. Unsubscribe anytime.