DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop

Publisher

Springer

Website

Year

1997

Period

June 4-6

Place

Granada, Spain

ISBN

3-211-83055-3

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

Hall, Anthony (1997): Do interactive systems need specifications?. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 1-12.

Campos, José Creissac, Harrison, Michael D. (1997): Formally verifying interactive systems: A review. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 109-124.

Faconti, Giorgio P., Massink, Mieke (1997): Investigating the behaviour of PREMO synchronizable objects. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 125-141.

Coutaz, Joëlle (1997): PAC-ing the architecture of your user interface. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 13-27.

Accot, Johnny, Chatty, Stephane, Maury, Sébastien, Palanque, Philippe A. (1997): Formal transducers: Models of devices and building bricks for the design of highly interac. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 143-159.

Hill, J. C., Wright, P. C. (1997): From text to Petri Nets: the difficulties of describing accident scenarios formally. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 161-175.

Savidis, Anthony, Stephanidis, Constantine, Akoumianakis, Demosthenes (1997): Unifying toolkit programming layers: a multi-purpose toolkit integration module. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 177-192.

Rodríguez, Fernando Gamboa, Scapin, Dominique L. (1997): Editing MAD* task descriptions for specifying user interfaces, at both semantic and presen. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 193-208.

Markopoulos, Panos, Johnson, Peter, Rowson, Jon (1997): Formal aspects of task based design. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 209-224.

Breedvelt-Schouten, Ilse M., Paterno, Fabio, Severijns, C. (1997): Reusable structures in task models. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 225-239.

Diplas, C. N., Kameas, Achilles, Pintelas, Panayiotis E. (1997): The interactive specification workspace: Specifying and designing the interaction issues o. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 241-256.

Gorgan, Dorian, Duce, David A. (1997): The notion of trajectory in graphical user interfaces. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 257-272.

Doherty, Gavin, Harrison, Michael D. (1997): A representational approach to the specification of presentations. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 273-290.

Fields, Robert E., Merriam, Nicholas A., Dearden, Andrew M. (1997): DMVIS: Design, Modelling and Validation of Interactive Systems. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 29-44.

Butterworth, Richard, Cooke, D. J. (1997): On biasing behaviour to the optimal. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 291-306.

Fields, Robert E., Merriam, Nicholas A. (1997): Modelling in action. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 307-320.

Blandford, Ann, Butterworth, Richard, Good, Jason (1997): Users as rational interacting agents: formalising assumptions about cognition and interact. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 45-60.

Sanz, Marcos F., Gómez, Enrique J. (1997): Establishing a link between usability and utility: validation of a task-based dialogue usi. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 61-76.

Mallon, Bride, Webb, Brian (1997): Evaluating narrative in multimedia. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 77-92.

Sage, Meurig, Johnson, Chris (1997): Interactors and Haggis: Executable specifications for interactive systems. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 93-108.