5th DSV-IS 1998: Abingdon, United Kingdom

> Home > Conferences and Workshops > DSV-IS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dsvis/1998-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/1998-2
Panos Markopoulos, Peter Johnson:
Design, Specification and Verification of Interactive Systems'98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Eurographics Association 1998
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dsvis/VanderdoncktTD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/VanderdoncktTD98
Jean Vanderdonckt, Jean-Claude Tarby, Alain Derycke:
Using Data Flow Diagrams for Supporting Task Models. DSV-IS (2) 1998: 1-16
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dsvis/Springett98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/Springett98
Mark Springett:
A Model of User Processing and Knowledge Deployment During Display-Based Learning. DSV-IS (2) 1998: 17-33
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dsvis/GriffithsMPKCBGGSWD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/GriffithsMPKCBGGSWD98
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: 34-50
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dsvis/AmeurGJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/AmeurGJ98
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: 51-67
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dsvis/VelaGT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/VelaGT98
Francisco Luis Gutiérrez Vela, Miguel Gea, Juan Carlos Torres:
Verification of Interactive System Using Algebraic Specification. DSV-IS (2) 1998: 68-84

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.