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

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

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.

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
315,328 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
315,328 designers enjoy our newsletter—sure you don’t want to receive it?