Statecharts: A visual formalism for complex systems
Science of Computer Programming
Generating user interfaces from data models and dialogue net specifications
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
MAVERIK—the Manchester virtual environment interface kernel
Proceedings of the Eurographics workshop on Virtual environments and scientific visualization '96
A specification paradigm for design and implementation of non-WIMP user interfaces
CHI 98 Cconference Summary on Human Factors in Computing Systems
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
A toolset supported approach for designing and testing virtual environment interaction techniques
International Journal of Human-Computer Studies
Virtually Conquering Fear of Flying
IEEE Computer Graphics and Applications
Design of User-Driven Interfaces Using Petri Nets and Objects
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Designing Virtual Environments for Usability
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Interaction techniques for common tasks in immersive virtual environments: design, evaluation, and application
A 'plug and play' approach to testing virtual environment interaction techniques
EG VE'00 Proceedings of the 6th Eurographics conference on Virtual Environments
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Virtual object specification for usable virtual environments
OZCHI '06 Proceedings of the 18th Australia conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments
XSED --- XML-Based Description of Status---Event Components and Systems
Engineering Interactive Systems
Hi-index | 0.00 |
Virtual environments are rapidly becoming more widespread and finding application outside specialised laboratories. However, there has been relatively little research developing tools and techniques to aid their development. This is particularly the case when defining the dynamics of the virtual world objects with which the user perceives and interacts. The complexity of these world objects can often mirror their real world counterparts, yet they are usually defined using program or macro application code. Consequently, there is no opportunity, beyond ad-hoc prototyping, of ensuring the world objects behave as required. Our work is focusing on the verification and refinement of abstract virtual environment behavioural specifications to an implementation. In this paper, we exemplify how the dynamics of these world objects can be specified using a hybrid formalism. We discuss and demonstrate how meaningful verification can take place on these specifications.