Conferences in DBLP

Design, Specification, and Verification of Interactive Systems (DSV-IS) (dsvis)
1998 (conf/dsvis/1998-2)

1. Jean Vanderdonckt, Jean-Claude Tarby, Alain Derycke
   Using Data Flow Diagrams for Supporting Task Models. [Citation Graph (0, 0)][DBLP]
   DSV-IS (2), 1998, pp:1-16 [Conf]
   
2. Mark Springett
   A Model of User Processing and Knowledge Deployment During Display-Based Learning. [Citation Graph (0, 0)][DBLP]
   DSV-IS (2), 1998, pp:17-33 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   DSV-IS (2), 1998, pp:34-50 [Conf]
   
4. Yamine Aït Ameur, Patrick Girard, Francis Jambon
   A Uniform Approach for Specification and Design of Interactive Systems: the B Method. [Citation Graph (0, 0)][DBLP]
   DSV-IS (2), 1998, pp:51-67 [Conf]
   
5. Francisco Luis Gutiérrez Vela, Miguel Gea, Juan Carlos Torres
   Verification of Interactive System Using Algebraic Specification. [Citation Graph (0, 0)][DBLP]
   DSV-IS (2), 1998, pp:68-84 [Conf]