Educational scenarios and learning objects are growing in scale and functionality. Because of this increase in complexity, the likelihood of subtle errors is much greater. One-way to achieving this proposed goal is by evaluation of these course-wares. In this paper, we propose a formal method which is mathematically based languages, techniques and tools for specifying and verifying. Using the automata theory do not a priori guarantee correctness and success. However, they can greatly increase our understanding of the learner's behaviour with the existing scenario by revealing inconsistencies, ambiguities and incompleteness that might otherwise go undetected. Our goal, in this study, is to prove how this formal definition helps designer in his evaluation's task.
展开▼