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.

New to UX Design? We’re giving you a free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,774 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We’re Giving You a Free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,774 designers enjoy our newsletter—sure you don’t want to receive it?