DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
- Publisher
- Eurographics Association
- Website
- Year
- 1998
- Period
- June 3-5
- Place
- Abingdon, United Kingdom
- ISBN
- Series
- DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
- DOI
- Volume
- Copyright info
Description
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.