Cyber Monday Offer: Professional membership now 25% off! Cyber Monday Offer: Professional membership now 25% off! 

Popular related searches

Filters

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

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

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.