The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002