The Research And Implementation Of Programming ICAI Experimental System Based On PAR Method

With the rapid development of software industry, talents have become a critical factor of restricting industry's development day by day. Regarded as a kind of new-type auxiliary educational aid which trains software talents, programming ICAI software is favored by the insider. At present, the quality of many computer programming instruction softwares is low. They oftem carry on teaching according to a certain regular mode and the interaction is relatively bad, let alone realize automatic reasoning in the designing procedure of the program. They mostly emphasize the grammar and semanteme of the language one-sidedly, can not explain the origin to the program and can not provide the whole design course of the program. Thus they have neglected the cultivation of students' programming capacity. Amongst the imcompleteness of programming theory is one of the main reasons.Scientific programming theory and method are foundations of constructing the CAI software with high quality. Under the subsidy of 863 and multiple national natural science fund subject of the country, Professor Xue has put forward a simple and practical formalization method, viz. PAR method, which can design and prove algorithm according to the achievement of engaging in the theoretical research of algorithmic design for many years. By using PAR method, it is possible to provide the detailed design process from problem specification to executable code. The team which Professor Xue JinYun leads keeps being engaged in the research of programming instruction software in order to overcome the deficiency of them. This paper constructs a new programming ICAI system to realize the teaching of PAR method knowledge and the procedure and reasoning about part complicated recursion problem. And measure the exactness of the procedure in time through PAR method support tools, viz.automatic program converting systems.The research of this paper is that two projects of the National Nature Science Foundation which Xue Jinyun are taking charge of, namely, practical software formalized method and algorithm design formalization and automize studying based on PAR method, apply concretely in the practice of program design instruction. The innovation of the paper include these contents:(1) Further investigating PAR method, classifying the PAR method knowledge again. According to the characteristic of the subject, organizing the knowledge points of the knowledge base alone, and storing the content file of the knowledge points in teaching material storehouse, implementing teaching students according to their aptitude and individual education better.(2) Realizing Reusable program template of complicated recursion problem, offering support and theoretical foundation for producing the infinite question base.(3) Fully use the artificial intelligence technology to have realized automatic reasoning of the programming procedure about part complicated recursion problem.