Towards an Interactive Learning Environment for Object-Z

We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z. Initially, we conducted a survey to analyse the effectiveness of traditional methodologies for learning Z notation. In LOZ, the semi-formal model UML is used in the intermediate phase between informal textual description and formal Object-Z description. We also employ a refinement unit that produces code from the specification. Based on the cognitive apprenticeship approach, we employ a four-phase instructional model in our system. Persuading the learners to be partially responsible for their own model and allowing them to decide their own levels of control over the learning process are key features of our system

Advances in Intelligent Tutoring Systems: Problem-solving Modes and Model of Hints

The paper focuses on the issues of providing an adaptive support for learners in intelligent tutoring systems when learners solve practical problems. The results of the analysis of support policies of learners in the existing intelligent tutoring systems are given and the revealed problems are emphasized. The concept and the architectural parts of an intelligent tutoring system are defined. The approach which provides greater adaptive abilities of systems of such kind offering two modes of problem-solving and using a two-layer model of hints is described. It is being implemented in the intelligent tutoring system for the Minimax algorithm at present. In accordance with the proposed approach the learner solves problems in the mode which is the most appropriate for him/her and receives the most suitable hint