The method to visualize the domain-oriented-explanation of program´s behaviors

In this paper, we discuss the method of visualization of the explanations generated by our educational system. The system gives domain-oriented-explanations of programs. Our system can help learners to understand model programs and to find bugs in their programs by themselves. It generates explanations of the programs behaviors. Our previous system can output verbal explanations. However it is not easy for novice learners to get a concrete image of behavior of the program. Therefore we are trying to add a facility of generating explanations by visualizing the state of the world.