DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop

Publisher

Springer

Website

Year

1995

Period

June 7-9

Place

Toulouse, France

ISBN

3-211-82739-0

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

Duce, David A., Duke, David J. (1995): Interaction, Cognition and Visualization. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 1-20.

Gray, Philip D., Johnson, Chris (1995): Requirements for the Next Generation of User Interface Specification Languages. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 113-133.

Bramwell, Chris, Fields, Bob, Harrison, Michael D. (1995): Exploring Design Options Rationally. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 134-148.

Dix, Alan J. (1995): Moving between Contexts. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 149-173.

Bumbulis, Peter, Alencar, Paulo S. C., Cowan, Donald D., Lucena, Carlos Jose Pereira de (1995): Combining Formal Techniques and Prototyping in User Interface Construction and Verificatio. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 174-192.

Elwert, Thomas, Schlungbaum, Egbert (1995): Modelling and Generation of Graphical User Interfaces in the TADEUS Approach. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 193-208.

Rauterberg, Matthias (1995): Four Different Measures to Quantify Three Usability Attributes: \'Feedback\', \'Interface . In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 209-223.

Gaudel, Marie-Claude (1995): Formal Specification Techniques for Interactive Systems. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 21-26.

Bauer, Bernhard (1995): Proving the Correctness of Formal User Interface Specifications. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 224-241.

Bernsen, Niels Ole, Lu, S. (1995): A Software Demonstrator of Modality Theory. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 242-261.

Bodart, Francois, Hennebert, Anne-Marie, Leheureux, Jean-Marie, Provot, Isabelle, Sacre, Benoit, Vanderdonckt, Jean M. (1995): Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 262-278.

Olsen, Dan R. (1995): Interacting with Information. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 27-34.

Green, Mark (1995): The Design of Narrative Virtual Environments. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 279-293.

Markopoulos, Panos (1995): On the Expression of Interaction Properties within an Interactor Model. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 294-310.

Middlemass, James, Stork, Adam, Long, John (1995): Applying a Structured Method for Usability Engineering To Recreational Facilities Booking . In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 311-328.

Took, Roger K. (1995): A Formal Design for Mutually Composed Multiple Media in Presentations. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 329-341.

Harrison, Michael D. (1995): Reports from Working Groups: Role of Verification. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 342-344.

Johnson, Chris (1995): Reports from Working Groups: The Challenge of Time. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 345-357.

Paterno, Fabio, Sciacchitano, M. S., Lowgren, Jonas (1995): A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specificat. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 35-53.

Moher, Thomas G. (1995): Reports from Working Groups: User and Task Modelling. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 358-361.

(1995): Reports from Working Groups: Towards a Taxonomy for Interactive Graphics Systems. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 362-370.

Duke, David J., Harrison, Michael D. (1995): Interaction and Task Requirements. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 54-75.

Moher, Thomas G., Dirda, Victor (1995): Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues. In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 76-92.

Johnson, Chris (1995): The Application of Petri Nets to Represent and Reason about Human Factors Problems during . In: Palanque, Philippe A., Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France. pp. 93-112.