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
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.