DSV-IS 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.

All years

Articles

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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://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. http://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm