DSV-IS (2)

199819981998

Keyphrases

Publications

1998

Yamine Aït Ameur, Patrick Girard, Francis Jambon
A Uniform Approach for Specification and Design of Interactive Systems: the B Method. DSV-IS (2) (1998)
Jean Vanderdonckt, Jean-Claude Tarby, Alain Derycke
Using Data Flow Diagrams for Supporting Task Models. DSV-IS (2) (1998)
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. DSV-IS (2) (1998)
Francisco Luis Gutiérrez Vela, Miguel Gea, Juan Carlos Torres
Verification of Interactive System Using Algebraic Specification. DSV-IS (2) (1998)
Mark Springett
A Model of User Processing and Knowledge Deployment During Display-Based Learning. DSV-IS (2) (1998)