DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third 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
Szekely,
Pedro A.
(1996):
Retrospective and Challenges for Model-Based Interface Development.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 1-27.
d\'Ausbourg,
Bruno,
Durrieu,
Guy,
Roché,
Pierre
(1996):
Deriving a Formal Model of an Interactive System from its UIL Description in order to Veri.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 105-122.
Szwillus,
Gerd,
Kespohl,
Klaus
(1996):
Prototyping Device Interfaces with DSN/2.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 123-140.
Carr,
David A.
(1996):
Toward More Understandable User Interface Specifications.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 141-161.
Palanque,
Philippe A.,
Paterno,
Fabio,
Bastide,
Remi,
Mezzanotte,
M.
(1996):
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 162-187.
Johnson,
Chris
(1996):
The Evaluation of User Interface Notations.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 188-206.
Johnson,
Chris,
Gray,
Philip D.
(1996):
The Evaluation of User Interface Notations.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 207-228.
Dearden,
Andrew M.,
Harrison,
Michael D.
(1996):
Risk Analysis, Impact and Interaction Modelling.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 229-247.
Akoumianakis,
Demosthenes,
Savidis,
Anthony,
Stephanidis,
Constantine
(1996):
Design Assistance for User-Adapted Interaction.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 248-271.
Torres,
Juan Carlos,
Gea,
Miguel,
Vela,
Francisco Luis Gutiérrez,
Cabrera,
Miguel,
Rodriguez,
M.
(1996):
GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 272-291.
Keyser,
Veronique De,
Javaux,
Denis
(1996):
Human Factors in Aeronautics.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 28-45.
Hyde,
J. K.,
Duke,
David J.
(1996):
Fusion Engines and Melting Pots.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 292-311.
Moher,
Tom,
Dirda,
Victor,
Bastide,
Remi,
Palanque,
Philippe A.
(1996):
Monolingual, Articulated Modeling of Users, Devices, and Interfaces.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 312-329.
Merriam,
Nicholas A.,
Harrison,
Michael D.
(1996):
Evaluating the Interfaces of Three Theorem Proving Assistants.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 330-346.
Bumbulis,
Peter,
Alencar,
Paulo S. C.,
Cowan,
Donald D.,
Lucena,
Carlos Jose Pereira de
(1996):
Validating Properties of Component-based Graphical User Interfaces.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 347-365.
Reeves,
Steve
(1996):
Specifying and Reasoning About CSCW.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 366-391.
Charlier,
Baudouin Le
(1996):
Abstract Interpretation and Application to Interactive System Verification.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 46-72.
Faconti,
Giorgio P.,
Duke,
David J.
(1996):
Device Models.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 73-91.
Accot,
Johnny,
Chatty,
Stephane,
Palanque,
Philippe A.
(1996):
A Formal Description of Low Level Interaction and its Application to Multimodal Interactiv.
In:
Bodart,
Francois,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop
June 5-7,
1996,
Namur, Belgium.
pp. 92-104.