5. DSV-IS 1998:
Abingdon,
United Kingdom
Panos Markopoulos, Peter Johnson (Eds.):
Design, Specification and Verification of Interactive Systems'98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom.
2 Eurographics Association 1998 
- Jean Vanderdonckt, Jean-Claude Tarby, Alain Derycke:
Using Data Flow Diagrams for Supporting Task Models.
1-16
- Mark Springett:
A Model of User Processing and Knowledge Deployment During Display-Based Learning.
17-33
- Tony Griffiths, Jo McKirdy, Norman W. Paton, Jessie B. Kennedy, Richard Cooper, Peter J. Barclay, Carole A. Goble, Philip D. Gray, Michael Smyth, Adrian West, Andrew Dinn:
An Open-Model-Based Interface Development System: The Teallach Approach.
34-50
- Yamine Aït Ameur, Patrick Girard, Francis Jambon:
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
51-67
- Francisco Luis Gutiérrez Vela, Miguel Gea, Juan Carlos Torres:
Verification of Interactive System Using Algebraic Specification.
68-84
Copyright © Thu Nov 12 00:25:57 2009
by Michael Ley (ley@uni-trier.de)
