Development and specification of virtual environments by