DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
Conference Details
Description
DSV-IS is now subsumed by the EICS conference - Engineering Interactive Computing Systems. DSV-IS provides a forum for researchers addressing the design and development of interactive systems. The workshop investigates the effective design, specification and verification of interactive systems, at all points in the software life cycle.
Other Years in Series
Other proceedings in the DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems series
Articles
Publications included in this conference proceedings
Vanderdonckt,
Jean M.,
Tarby,
Jean-Claude,
Derycke,
Alain
(1998):
Using Data Flow Diagrams for Supporting Task Models.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 1-16.
Springett,
Mark
(1998):
A Model of User Processing and Knowledge Deployment During Display-Based Learning.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 17-33.
Griffiths,
Tony,
McKirdy,
Jo,
Paton,
Norman W.,
Kennedy,
Jessie B.,
Cooper,
Richard,
Barclay,
Peter J.,
Goble,
Carole,
Gray,
Philip D.,
Smyth,
Michael,
West,
Adrian,
Dinn,
Andrew
(1998):
An Open-Model-Based Interface Development System: The Teallach Approach.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 34-50.
Ameur,
Yamine Aït,
Girard,
Patrick,
Jambon,
Francis
(1998):
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 51-67.
Vela,
Francisco Luis Gutiérrez,
Gea,
Miguel,
Torres,
Juan Carlos
(1998):
Verification of Interactive System Using Algebraic Specification.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Supplementary Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 68-84.