DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
- Periodicity:
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.
All years
1994
Paterno,
Fabio
(eds.)
DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop
June 8-10,
1994,
Bocca di Magra, Italy.
1995
Palanque,
Philippe A.,
Bastide,
Remi
(eds.)
DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop
June 7-9,
1995,
Toulouse, France.
1996
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.
1997
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
1998
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
1998
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.
1999
Duke,
David J.,
Puerta,
Angel R.
(eds.)
DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop
June 2-4,
1999,
Braga, Portugal.
2000
DSV-IS 2000
,
2000,
.
2001
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
2002
Forbrig,
Peter,
Limbourg,
Quentin,
Urban,
Bodo,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop
June 12-14,
2002,
Rostock, Germany.
2003
Jorge,
Joaquim A.,
Nunes,
Nuno Jardim,
Cunha,
Joao Falcao e
(eds.)
DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop
June 11-13,
2003,
Funchal, Madeira Island, Portugal.
2005
Gilroy,
Stephen W.,
Harrison,
Michael D.
(eds.)
DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop
July 13-15,
2005,
Newcastle upon Tyne, UK.
2006
Doherty,
Gavin,
Blandford,
Ann
(eds.)
DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop
July 26-28,
2006,
Dublin, Ireland.
2008
Graham,
T. C. Nicholas,
Palanque,
Philippe A.
(eds.)
DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop
July 16-18,
2008,
Kingston, Canada.