DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop

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

Vanderdonckt, Jean M., Tarby, Jean-Claude, Derycke, Alain (1998): Using Data Flow Diagrams for Supporting Task Models. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 1-16.

Springett, Mark (1998): A Model of User Processing and Knowledge Deployment During Display-Based Learning. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 17-33.

Griffiths, Tony, McKirdy, Jo, Paton, Norman W., Kennedy, Jessie B., Cooper, Richard, Barclay, Peter J., Goble, Carole, Gray, Philip D., Smyth, Michael, West, Adrian, Dinn, Andrew (1998): An Open-Model-Based Interface Development System: The Teallach Approach. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 34-50.

Ameur, Yamine Aït, Girard, Patrick, Jambon, Francis (1998): A Uniform Approach for Specification and Design of Interactive Systems: the B Method. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 51-67.

Vela, Francisco Luis Gutiérrez, Gea, Miguel, Torres, Juan Carlos (1998): Verification of Interactive System Using Algebraic Specification. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 68-84.