DSV-IS 2000
- Website
- Year
- 2000
- Period
- Place
- ISBN
- Series
- DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
- DOI
- Volume
- Copyright info
Description
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. 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