Statecharts: A visual formalism for complex systems
Science of Computer Programming
Formal methods in human-computer interaction
Formal methods in human-computer interaction
WSC '96 Proceedings of the 28th conference on Winter simulation
The annotated VRML 2.0 reference manual
The annotated VRML 2.0 reference manual
A specification paradigm for design and implementation of non-WIMP user interfaces
CHI 98 Cconference Summary on Human Factors in Computing Systems
Software engineering of virtual worlds
VRST '98 Proceedings of the ACM symposium on Virtual reality software and technology
A toolset supported approach for designing and testing virtual environment interaction techniques
International Journal of Human-Computer Studies
User-Interface Tools: Introduction and Survey
IEEE Software
Design of User-Driven Interfaces Using Petri Nets and Objects
CAiSE '93 Proceedings of Advanced Information Systems Engineering
A Visual Language for Non-WIMP User Interfaces
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
Software Engineering (7th Edition)
Software Engineering (7th Edition)
Verifying the behaviour of virtual environment world objects
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A 'plug and play' approach to testing virtual environment interaction techniques
EG VE'00 Proceedings of the 6th Eurographics conference on Virtual Environments
A model-based approach for real-time embedded multimodal systems in military aircrafts
Proceedings of the 6th international conference on Multimodal interfaces
SSIML: designing structure and application integration of 3D scenes
Web3D '05 Proceedings of the tenth international conference on 3D Web technology
Formal description of a multimodal interaction technique in an immersive virtual reality application
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
Virtual environments lack a standardised interface between the user and application, this makes it possible for the interface to be highly customised for the demands of individual applications. However, this requires a development process where the interface can be carefully designed to meet the requirements of an application. In practice, an ad-hoc development process is used which is heavily reliant on a developer's craft skills. A number of formalisms have been developed to address the problem of establishing the behavioural requirements by supporting its design prior to implementation. We have developed the Marigold toolset which provides a transition from one such formalism, Flownets, to a prototype-implementation. In this paper we demonstrate the use of the Marigold toolset for prototyping a small environment.