{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:39:52Z","timestamp":1725485992145},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416630"},{"type":"electronic","value":"9783540446750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44675-3_5","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T16:44:02Z","timestamp":1180889042000},"page":"65-77","source":"Crossref","is-referenced-by-count":2,"title":["Verifying the Behaviour of Virtual Environment World Objects"],"prefix":"10.1007","author":[{"given":"James S.","family":"Willans","sequence":"first","affiliation":[]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"5_CR1","unstructured":"R\u00e9mi Bastide and Phillipe Palanque. Petri net objects for the design, validation and prototyping of user-driven interfaces. In Human-Computer Interaction \u2014 INTERACT\u201990, 1990."},{"key":"5_CR2","unstructured":"D. A. Bowman. Interaction Techniques for Common Tasks in Immersive Virtual Environments \u2014 Design, Evaluation and Application. PhD Thesis, Georgia Institute of Technology, 1999."},{"key":"5_CR3","unstructured":"Kulwinder Kaur Deor, Alistair G. Sutcliffe, and Neil A. M. Maiden. Towards a better understanding of usability problems with virtual environments. In INTERACT\u201999, 1999."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"5_CR5","unstructured":"N. Higgett and S. Bhullar. An investigation into the application of virtual environment for fire evacuation mission rehearsal training. In Eurographics 16 th Annual Conference, pages 87\u201396, 1998."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Larry F. Hodges, Benjamin A. Watson, Barbara O. Rothbaum, and Dan Opdyke. Virtually conquering fear of flying. IEEE Computer Graphics, pages 42\u201349, November 1996.","DOI":"10.1109\/38.544071"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Roger J. Hubbold, Xia Dongbo, and Simon Gibson. Maverik \u2014 the Manchester virtual environment interface kernel. In Martin Goebel and Jacques David, editors, Proceedings of 3 rd Eurographics Workshop on Virtual Environments, Springer Verlag, 1996.","DOI":"10.1007\/978-3-7091-7488-3_2"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/310641.310642"},{"key":"5_CR9","unstructured":"Robert J. K. Jacob. Specifying non-WIMP interfaces. In CHI\u201995 Workshop on the Formal Specification of User Interfaces Position Papers, 1995."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Christian Janssen, Anette Weisbecker, and Jurgen Ziegler. Generating user interfaces from data models and dialogue net specifications. In INTER-CHI, pages 418\u2013423, 1993.","DOI":"10.1145\/169059.169335"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kulwinder Kaur. Designing virtual environments for usability. In Human-Computer Interaction: INTERACT\u201997, pages 636\u2013639, 1997.","DOI":"10.1007\/978-0-387-35175-9_112"},{"key":"5_CR12","unstructured":"Kulwinder Kaur, Neil Maiden, and Alistair Sutcliffe. Design practice and usability problems with virtual environments. In Proceedings of Virtual Reality World\u2019 96, 1996."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Mieke Massink, David Duke, and Shamus Smith. Towards hybrid interface specification for virtual environments. In Design, Specification and Verification of Interactive Systems\u2019 99, pages 30\u201351. Springer, 1999.","DOI":"10.1007\/978-3-7091-6815-8_4"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"S. A. Morrison and R. J. K. Jacob. A specification paradigm for design and implementation of non-WIMP human-computer interaction. In ACM CHI\u201998 Human Factors in Computing Systems Conference, pages 357\u2013358. Addison-Wesley\/ACM Press, 1998.","DOI":"10.1145\/286498.286826"},{"key":"5_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAISE\u201993 (Conference on advance information system engineering)","author":"P. A. Palanque","year":"1993","unstructured":"Phillipe A. Palanque, R\u00e9mi Bastide, Louis Dourte, and Christophe Silbertin-Blanc. Design of user-driven interfaces using petri nets and objects. In Proceedings of CAISE\u201993 (Conference on advance information system engineering), Lecture Notes in Computer Science, volume 685, 1993."},{"key":"5_CR16","series-title":"Technical Report","volume-title":"Kommunikation mit automaten","author":"C. A. Petri","year":"1966","unstructured":"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."},{"key":"5_CR17","unstructured":"Wolfgang Reisig. Petri Nets. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1982."},{"key":"5_CR18","volume-title":"Virtual reality data-flow language and runtime system, body electric manual 3.0.","author":"VPL. Research.","year":"1991","unstructured":"VPL. Research. Virtual reality data-flow language and runtime system, body electric manual 3.0., 1991. Redwood City, CA."},{"key":"5_CR19","unstructured":"L. Sastry, D. R. S. Boyd, R. F. Fowler, and V. V. S. S. Sastry. Numerical flow visualisation using virtual reality techniques. In 8 th International Symposium on Flow Visualisation, 1998."},{"key":"5_CR20","unstructured":"Shamus Smith and David Duke. Virtual environments as hybrid systems. In Eurographics UK 17 th Annual Conference, 1999."},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"C297","DOI":"10.1111\/1467-8659.00350","volume":"18","author":"S. Smith","year":"1999","unstructured":"Shamus Smith, David Duke, and Mieke Massink. The hybrid world of virtual environments. Computer Graphics Forum, 18(3):C297\u2013C307, 1999.","journal-title":"Computer Graphics Forum"},{"key":"5_CR22","unstructured":"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."},{"key":"5_CR23","unstructured":"Anthony J. Steed. Defining Interaction within Immersive Virtual Environments. PhD thesis, Queen Mary and Westfield College, 1996."},{"key":"5_CR24","unstructured":"M. R. Thompson, J. D. Maxfield, and P. M. Dew. Interactive virtual prototyping. In Eurographics 16 th Annual Conference, pages 107\u2013120, 1996."},{"key":"5_CR25","unstructured":"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."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"James S. Willans and Michael D. Harrison. A \u2018plug and play\u2019approach to testing virtual environment interaction techniques. In 6 th Eurographics workshop on virtual environments, pages 33\u201342, SpringerVerlag, 2000.","DOI":"10.1007\/978-3-7091-6785-4_5"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44675-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:56:06Z","timestamp":1556456166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44675-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416630","9783540446750"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44675-3_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}