DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
Conference Details
Year: 2001
Period: June 13-15
Location: Glasgow, Scotland, UK
Publisher:
Springer
ISBN: 3-540-42807-0
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
Luyten,
Kris,
Coninx,
Karin
(2001):
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 1-15.
https://link.springer.de/link/service/series/0558/bibs/2220/22200001.htm
Du,
Min,
England,
David
(2001):
Temporal Patterns for Complex Interaction Design.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 114-127.
https://link.springer.de/link/service/series/0558/bibs/2220/22200114.htm
Garrido,
José Luis,
Gea,
Miguel
(2001):
Modelling Dynamic Group Behaviours.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 128-143.
https://link.springer.de/link/service/series/0558/bibs/2220/22200128.htm
Doherty,
Gavin,
Massink,
Mieke,
Faconti,
Giorgio P.
(2001):
Reasoning about Interactive Systems with Stochastic Models.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 144-163.
https://link.springer.de/link/service/series/0558/bibs/2220/22200144.htm
Müller,
Andreas,
Forbrig,
Peter,
Cap,
Clemens H.
(2001):
Model-Based User Interface Design Using Markup Concepts.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 16-27.
https://link.springer.de/link/service/series/0558/bibs/2220/22200016.htm
Limbourg,
Quentin,
Pribeanu,
Costin,
Vanderdonckt,
Jean M.
(2001):
Towards Uniformed Task Models in a Model-Based Approach.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 164-182.
https://link.springer.de/link/service/series/0558/bibs/2220/22200164.htm
Sutcliffe,
Alistair G.
(2001):
Heuristic Evaluation of Website Attractiveness and Usability.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 183-198.
https://link.springer.de/link/service/series/0558/bibs/2220/22200183.htm
Thimbleby,
Harold W.
(2001):
Affordance and Symmetry.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 199-218.
https://link.springer.de/link/service/series/0558/bibs/2220/22200199.htm
Schneider,
Kevin A.,
Cordy,
James R.
(2001):
Abstract User Interfaces: A Model and Notation to Support Plasticity in Interactive System.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 28-48.
https://link.springer.de/link/service/series/0558/bibs/2220/22200028.htm
Pribeanu,
Costin,
Limbourg,
Quentin,
Vanderdonckt,
Jean M.
(2001):
Task Modelling for Context-Sensitive User Interfaces.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 49-68.
https://link.springer.de/link/service/series/0558/bibs/2220/22200049.htm
Turnell,
Maria de F. Q. V.,
Scaico,
Alexandre,
Sousa,
Marckson R. F. de,
Perkusich,
Angelo
(2001):
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 69-87.
https://link.springer.de/link/service/series/0558/bibs/2220/22200069.htm
Navarre,
David,
Palanque,
Philippe A.,
Paterno,
Fabio,
Santoro,
Carmen,
Bastide,
Remi
(2001):
A Tool Suite for Integrating Task and System Models through Scenarios.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 88-113.
https://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm