Prototyping pre-implementation designs of virtual environment behaviour

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2254, Issue , 2001, Pages 91-108

  Willans, James S ^a   Harrison, Michael D ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AMPHIBIOUS VEHICLES; VIRTUAL REALITY;

CRAFT SKILLS; DEVELOPMENT PROCESS; IMPLEMENTATION DESIGN; PROTOTYPE IMPLEMENTATIONS; TOOLSETS;

HUMAN COMPUTER INTERACTION;

EID: 79955502841     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45348-2_11     Document Type: Article

References (36)

1. Maverik programmer's guide for version 5.1. Advanced Interface Group, Department of Computer Science, University of Manchester, 1999.
2. Autodesk-corporation. 3DStudio. 111 McInnis Parkway, San Rafael, California, 94903, USA.
3. Steve Bryson. Approaches to the Successful Design and Implementation of VR Applications. London Academic Press, 1995.
4. Rik Carey and Gavin Bell. The Annotated VRML 2.0 Reference Manual. Developers Press, 1997.
5. Superscape Corporation. Superscape, 1999. 3945 Freedom Circle, Suite 1050, Santa Clara, CA 95054, USA.
6. Remi Bastide David Navarre, Philippe Palanque and Ousmane Sy. Structuring interactive systems specifications for executability and prototypeability. In Philippe Palanque and Fabio Paterno, editors, Design, Specification and Verification of Interactive Systems '00, pages 97-119. Lecture notes in Computer Science 1946, 2001.
7. Pierre duPont. Building complex virtual worlds without programming. In Remco C. Veltkamp, editor, Eurographics'95 STAR report, pages 61-70. Eurographics, 1995.
8. J. W. Forrester. Industrial Dynamics. MIT Press, 1961.
9. Mark Green. The design of narrative virtual environments. In Design, Specification and Verification of Interactive Systems'95, pages 279-293, 1995.
10. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
11. Michael Harrison and Harold Thimbleby, editors. Formal Methods in Human-Computer Interaction. Cambidge University Press, 1990.
12. Robert J. K. Jacob. Specifying non-WIMP interfaces. In CHI'95 Workshop on the Formal Specification of User Interfaces Position Papers, 1995.
13. Robert J. K. Jacob. A visual language for non-WIMP user interfaces. In Proceedings IEEE Symposium on Visual Languages, pages 231-238. IEEE Computer Science Press, 1996.
14. Kulwinder Kaur, Neil Maiden, and Alistair Sutcliffe. Design practice and usability problems with virtual environments. In Proceedings of Virtual Reality World '96, 1996.
15. G. Jounghyun Kim, Kyo Chul Kang, Hyejung Kim, and Jiyoung Lee. Software engineering of virtual worlds. In ACM Virtual Reality Systems and Technology Conference (VRST'98), pages 131-138, 1998.
16. Mieke Massink, David Duke, and Shamus Smith. Towards hybrid interface specification for virtual environments. In Design, Specification and Verification of Interactive Systems '99, pages 30-51. Springer, 1999.
17. S. A. Morrison and R. J. K. Jacob. A specification paradigm for design and implementation of non-WIMP human-computer interaction. In ACM CHI'98 Human Factors in Computing Systems Conference, pages 357-358. Addison-Wesley/ACM Press, 1998.
18. Brad A. Myers. User-interface tools: Introduction and survey. IEEE Software, 6(1):15-23, 1989.
19. Philippe A. Palanque, Remi Bastide, Louis Dourte, and Christophe Silbertin-Blane. Design of user-driven interfaces using petri nets and objects. In Proceedings of CAISE'93 (Conference on advance information system engineering), Lecture Notes in Computer Science, volume 685, 1993.
20. C. A. Petri. Kommunikation mit automaten. Schriften des iim nr. 2, Institut fur Instrumentelle Mathematic, 1962. English translation: Technical Report RADC-TR-65-377, Griffiths Air Base, New York, Vol. 1, Suppl. 1, 1966.
21. William R. Sherman. Integrating virtual environments into the data flow paradigm. In 4th Eurographics workshop on ViSC, 1993.
22. Shamus Smith and David Duke. Using CSP to specify interaction in virtual environments. Technical Report YCS 321, University of York - Department of Computer Science, 1999.
23. Shamus Smith and David Duke. Virtual environments as hybrid systems. In Eurographics UK 17th Annual Conference, pages 113-128. Eurographics, 1999.
24. Shamus Smith, David Duke, Tim Marsh, Michael Harrison, and Peter Wright. Modelling interaction in virtual environments. In UK-VRSIG'98, 1998.
25. Shamus Smith, David Duke, and Mieke Massink. The hybrid world of virtual environments. Computer Graphics Forum, 18(3):C297-C307, 1999.
26. Shamus P. Smith and David J. Duke. Binding virtual environments to toolkit capabilities. Computer Graphics Forum, 19(3):C81-C89, 2000.
27. Shamus P. Smith, David J. Duke, and James S. Willans. Designing world objects for usable virtual environments. In Workshop on design, specification and verification of interactive systems, 2000.
28. Ian Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996.
29. Anthony J. Steed. Defining Interaction within Immersive Virtual Environments. PhD thesis, Queen Mary and Westfield College, UK, 1996.
30. Kari Systa. A Specification Method for Interactive Systems. PhD thesis, Tampere University of Technology, 1995.
31. Boris van Schooten, Olaf Donk, and Job Zwiers. Modelling interaction in virtual environments using process algerbra. In 12th Workshop on Language technology: Interaction in virtual worlds, pages 195-212, 1999.
32. Ralf Wieting. Hybrid high-level nets. In J. M. Charnes, D. J. Morrice, and D. T. Brunner, editors, Proceedings of the 1996 Winter Simulation Conference, pages 848-855. ACM Press, 1996.
33. James S. Willans and Michael D. Harrison. A toolset supported approach for designing and testing virtual environment interaction techniques. Accepted for publication in the International Journal of Human-Computer Studies, 1999.
34. James S. Willans and Michael D. Harrison. A `plug and play' approach to testing virtual environment interaction techniques. In 6th Eurographics Workshop on Virtual Environments, pages 33-42. SpringerVerlag, 2000.
35. James S. Willans and Michael D. Harrison. Verifying the behaviour of virtual environment world objects. In Workshop on design, specification and verification of interactive systems, pages 65-77. Lecture notes in computer science 1946, 2000.
36. Charles Albert Wuthrich. An analysis and a model of 3D interaction methods and devices for virtual reality. In Design, Specification and Verification of Interactive Systems '99, pages 18-29. Springer, 1999.