ABSTRACT
The widespread use of computer-based training simulators, or synthetic environments (SEs), for training has resulted in much effort being devoted to the verification and validation of those computer systems. Less attention has been given to the human component - the trainee - in order to establish that the delivered training will actually meet its objective. The research described here is part of an ongoing project directed at establishing a methodology for the verification and validation of both the actual training process, and of the training system which serves that process, and which we assume will contain an SE. Starting with a known SE used for firearms training, we are able to describe both the sequence of psychological and other techniques that define the training process, as well as the training process itself. In both cases we employ a structured semi-formal notation in order to facilitate verification and validation.
