DSV-IS 2000
Conference Details
Year: 2000
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
Wright,
Timothy N.,
Graham,
T. C. Nicholas,
Urnes,
Tore
(2000):
Specifying Temporal Behaviour in Software Architectures for Groupware Systems.
In:
DSV-IS 2000
,
2000,
.
pp. 1-17.
https://link.springer.de/link/service/series/0558/bibs/1946/19460001.htm
Crease,
Murray,
Gray,
Philip D.,
Brewster,
Stephen A.
(2000):
A Toolkit of Mechanism and Context Independent Widgets.
In:
DSV-IS 2000
,
2000,
.
pp. 121-133.
https://link.springer.de/link/service/series/0558/bibs/1946/19460121.htm
Paterno,
Fabio,
Santoro,
Carmen
(2000):
Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Propertie.
In:
DSV-IS 2000
,
2000,
.
pp. 135-150.
https://link.springer.de/link/service/series/0558/bibs/1946/19460135.htm
Ditmar,
Anke
(2000):
More Precise Descriptions of Temporal Relations within Task Models.
In:
DSV-IS 2000
,
2000,
.
pp. 151-168.
https://link.springer.de/link/service/series/0558/bibs/1946/19460151.htm
Loer,
Karsten,
Harrison,
Michael D.
(2000):
Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Wor.
In:
DSV-IS 2000
,
2000,
.
pp. 169-190.
https://link.springer.de/link/service/series/0558/bibs/1946/19460169.htm
Johnson,
Chris
(2000):
Questioning the Foundations of Utility for Quality of Service in Interface Development.
In:
DSV-IS 2000
,
2000,
.
pp. 19-33.
https://link.springer.de/link/service/series/0558/bibs/1946/19460019.htm
Nunes,
Nuno Jardim,
Cunha,
Joao Falcao e
(2000):
Wisdom - A UML Based Architecture for Interactive Systems.
In:
DSV-IS 2000
,
2000,
.
pp. 191-205.
https://link.springer.de/link/service/series/0558/bibs/1946/19460191.htm
Silva,
Paulo Pinheiro da
(2000):
User Interface Declarative Models and Development Environments: A Survey.
In:
DSV-IS 2000
,
2000,
.
pp. 207-226.
https://link.springer.de/link/service/series/0558/bibs/1946/19460207.htm
Limbourg,
Quentin,
Vanderdonckt,
Jean M.,
Souchon,
Nathalie
(2000):
The Task-Dialog and Task-Presentation Mapping Problem: Some Preliminary Results.
In:
DSV-IS 2000
,
2000,
.
pp. 227-246.
https://link.springer.de/link/service/series/0558/bibs/1946/19460227.htm
Vernier,
Frederic,
Nigay,
Laurence
(2000):
A Framework for the Combination and Characterization of Output Modalities.
In:
DSV-IS 2000
,
2000,
.
pp. 35-50.
https://link.springer.de/link/service/series/0558/bibs/1946/19460035.htm
Kutar,
Maria,
Britton,
Carol,
Nehaniv,
Chrystopher L.
(2000):
Specifying Multiple Time Granularities in Interactive Systems.
In:
DSV-IS 2000
,
2000,
.
pp. 51-63.
https://link.springer.de/link/service/series/0558/bibs/1946/19460051.htm
Willans,
James S.,
Harrison,
Michael D.
(2000):
Verifying the Behaviour of Virtual Environment World Objects.
In:
DSV-IS 2000
,
2000,
.
pp. 65-77.
https://link.springer.de/link/service/series/0558/bibs/1946/19460065.htm
Lumsden,
Joanna,
Gray,
Philip D.
(2000):
SUIT - Context Sensitive Evaluation of User Interface Development Tools.
In:
DSV-IS 2000
,
2000,
.
pp. 79-95.
https://link.springer.de/link/service/series/0558/bibs/1946/19460079.htm
Navarre,
David,
Palanque,
Philippe A.,
Bastide,
Remi,
Sy,
Ousmane
(2000):
Structuring Interactive Systems Specifications for Executability and Prototypability.
In:
DSV-IS 2000
,
2000,
.
pp. 97-119.
https://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm