DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop

Publisher

Springer

Website

Year

1998

Period

June 3-5

Place

Abingdon, United Kingdom

ISBN

3-211-83212-2

Series

DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems

DOI

Volume

Copyright info

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.

1994 1995 1996 1997 1998 1998 1999 2000 2001 2002 2003 2005 2006 2008

Olsen, Dan R. (1998): Interacting in chaos. In: 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. pp. 1-8.

Markopoulos, Panos, Papatzanis, Giorgios, Johnson, Peter, Rowson, Jon (1998): Validating Semi-Formal Specifications of Interactors as Design Representations. In: 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. pp. 102-116.

Jones, Sara, Sapford, John (1998): The Role of Informal Representations in Early Design. In: 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. pp. 117-133.

Sage, Meurig, Johnson, Chris (1998): Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Developme. In: 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. pp. 134-154.

Campos, José Creissac, Harrison, Michael D. (1998): The Role of Verification in Interactive Systems Design. In: 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. pp. 155-170.

Bastide, Remi, Palanque, Philippe A., Le, Duc-Hoa, Munoz, Jaime (1998): Integrating Rendering Specifications into a Formalism for the Design of Interactive System. In: 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. pp. 171-190.

Stirewalt, Kurt, Abowd, Gregory D. (1998): Practical Dialogue Refinement. In: 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. pp. 191-205.

Hussey, Alfred, Carrington, David A. (1998): Which widgets? deriving implementations from user-interface specifications. In: 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. pp. 206-224.

Fisher, Markus (1998): A Framework for Generating Spatial Configurations in User Interfaces. In: 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. pp. 225-241.

d\'Ausbourg, Bruno (1998): Using Model Checking for the Automatic Validation of User Interface Systems. In: 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. pp. 242-260.

Bowman, Howard, Faconti, Giorgio P., Massink, Mieke (1998): Specification and Verification of Media Constraints using UPAAL. In: 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. pp. 261-277.

Traetteberg, Hallvard (1998): Modelling Direct Manipulation Using Referent and Statecharts. In: 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. pp. 278-292.

Doherty, Gavin, Harrison, Michael D. (1998): Integrating Joint Behaviour and Dialogue Description. In: 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. pp. 293-308.

Markopoulos, Panos, Johnson, Peter (1998): Discussion Topics for the DSV-IS\'98 Working Groups. In: 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. pp. 309-311.

Harrison, Michael D. (1998): Working Group 1 Report. In: 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. pp. 312-315.

Rowson, Jon (1998): Working Group 2 Report. In: 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. pp. 316-320.

Duce, David A. (1998): Integrating Joint Behaviour and Dialogue Description. In: 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. pp. 321-325.

Fields, Robert E., Merriam, Nicholas A. (1998): Inference and Information Resources: A Design Case Study. In: 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. pp. 41-56.

Welie, Martijn van, Veer, Gerrit van der, Eliens, Anton (1998): An Ontology for Task World Models. In: 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. pp. 57-70.

Paterno, Fabio, Santoro, Carmen, Tahmassebi, Sophie (1998): Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic . In: 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. pp. 71-86.

Butterworth, Richard, Blandford, Ann (1998): The Role of Formal Proof in Modelling Interactive Behaviour. In: 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. pp. 87-101.

McCarthy, John (1998): The viability of modelling socially organised activity. In: 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. pp. 9-23.