Verifying the behaviour of virtual environment world objects

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

Volumn 1946, Issue , 2001, Pages 65-77

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

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; MACROS; SPECIFICATIONS; SYSTEMS ANALYSIS;

APPLICATION CODES; BEHAVIOURAL SPECIFICATIONS; HYBRID FORMALISM; REAL-WORLD; TOOLS AND TECHNIQUES; VIRTUAL WORLDS;

VIRTUAL REALITY;

EID: 84938844785     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-44675-3_5     Document Type: Article

References (28)

1. Autodesk-corporation. 3Dstudio, 111 McInnis Parkway, San Rafael, California, 94903, USA.
2. Rémi Bastide and Phillipe Palanque. Petri net objects for the design, validation and prototyping of user-driven interfaces. In Human-Computer Interaction - INTERACT’90, 1990.
3. D.A. Bowman. Interaction Techniques for Common Tasks in Immersive Virtual Environments - Design, Evaluation and Application. PhD Thesis, Georgia Institute of Technology, 1999.
4. Kulwinder Kaur Deor, Alistair G. Sutcliffe, and Neil A.M. Maiden. Towards a better understanding of usability problems with virtual environments. In INTERACT’99, 1999.
5. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
6. N. Higgett and S. Bhullar. An investigation into the application of virtual environment for fire evacuation mission rehearsal training. In Eurographics 16th Annual Conference, pages 87-96, 1998.
7. Larry F. Hodges, Benjamin A. Watson, Barbara O. Rothbaum, and Dan Opdyke. Virtually conquering fear of flying. IEEE Computer Graphics, pages 42-49, November 1996.
8. Roger J. Hubbold, Xia Dongbo, and Simon Gibson. Maverik - the Manchester virtual environment interface kernel. In Martin Goebel and Jacques David, editors, Proceedings of 3rd Eurographics Workshop on Virtual Environments, SpringerVerlag, 1996.
9. Robert J.K. Jacob, L. Deligiannidis, and S. Morrison. A software model and specification language for non-WIMP user interfaces. ACM Transactions on Computer-Human Interaction, 1999.
10. Robert J.K. Jacob. Specifying non-WIMP interfaces. In CHI’95 Workshop on the Formal Specification of User Interfaces Position Papers, 1995.
11. Christian Janssen, Anette Weisbecker, and Jurgen Ziegler. Generating user interfaces from data models and dialogue net specifications. In INTER-CHI, pages 418-423, 1993.
12. Kulwinder Kaur. Designing virtual environments for usability. In Human-Computer Interaction: INTERACT’97, pages 636-639, 1997.
13. Kulwinder Kaur, Neil Maiden, and Alistair Sutcliffe. Design practice and usability problems with virtual environments. In Proceedings of Virtual Reality World ’96, 1996.
14. 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.
15. 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.
16. Phillipe A. Palanque, Rémi Bastide, Louis Dourte, and Christophe Silbertin-Blanc. 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.
17. C.A. Petri. Kommunikation mit automaten. Schriften des iim nr. 2, Institut fur Instrumentelle Mathematic, 1962. English translation: Technical Report Report RADC-TR-65-377, Griffiths Air Base, New York, Vol. 1, Suppl. 1, 1966.
18. Wolfgang Reisig. Petri Nets. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1982.
19. VPL. Research. Virtual reality data-flow language and runtime system, body electric manual 3.0., 1991. Redwood City, CA.
20. L. Sastry, D.R.S. Boyd, R.F. Fowler, and V.V.S.S. Sastry. Numerical flow visualisation using virtual reality techniques. In 8th International Symposium on Flow Visualisation, 1998.
21. Shamus Smith and David Duke. Virtual environments as hybrid systems. In Eurographics UK 17th Annual Conference, 1999.
22. Shamus Smith, David Duke, and Mieke Massink. The hybrid world of virtual environments. Computer Graphics Forum, 18(3):C297-C307, 1999.
23. Shamus P. Smith, David J. Duke, and James S. Willans. Designing world objects for usable virtual environments. In Design, Specification and Verification of Interactive Systems, 2000.
24. Anthony J. Steed. Defining Interaction within Immersive Virtual Environments. PhD thesis, Queen Mary and Westfield College, 1996.
25. Superscape Corporation, Superscape, 1999. 3945 Freedom Circle, Suite 1050, Santa-Clara, CA 95054, USA.
26. M.R. Thompson, J.D. Maxfield, and P.M. Dew. Interactive virtual prototyping. In Eurographics 16th Annual Conference, pages 107-120, 1996.
27. 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.
28. th Eurographics workshop on virtual environments, pages 33-42, SpringerVerlag, 2000.