The Research Of PAR Method Long-Distance Teaching System Based On The Model Of Smart Client

The poor reliability of software and low efficiency of development are the two main problems of software industry. Formalization and automatization in software development have been viewed as the effective ways to solve the two main problems. PAR method is a simple and practical method of formal development. It can automatically transform algorithm specification to abstract program and abstract program to executable program. So it can partly realize the software development automatization. The characteristics can be fully used to the process of developing software. It helps to saving time of coding and debugging the program, reducing the processes of software test. The efficiency of development also has greatly improved. So it is necessary to popularize the PAR method by distance education system.However, the traditional distance education platforms mostly base on the structure of B/S. The structure of B/S exists some technical defects,the traditional distance education base on B/S can not be competent for the instruction of PAR method. Aim at these limitations of the traditional distance education systems, this thesis introduces the structure of Smart Client, and design a new kind of distance education system framework model. The distance education system base of the smart client structure can present the PAR method to learner more intuitionistic, improve the interest of students studying the PAR method. It is good for the learner writing the high quality code.This thesis introduces the PAR method and PAR platform briefly. It does the research on the architecture of Smart Client and discusses the application scheme of the distance education system based on Smart Client. On the basis of the architecture of Smart Client, combine with the learning theory such as Constructivism, put forward a software model which has multi-level and multi-component. The code of realize the critical functions is also given.This research gives the new approach to solve the problems of traditional distance education system, and it helps to popularize the formalized methods in software development. It is the extension of PAR method application research. The system also is specific application of the national natural science fund projects-"algorithm design formalization and automated studying based on PAR method"which is applied in practice of program design instruction.The main innovative points of this thesis are as follow: 1.For the sake of productivity and ability of reused,this thesis design a software framework model which is based on the multi-layer and multi-component. Every layer can be modified independently.2. This thesis introduces the mode of Smart Client can solve the problems of traditional distance education system.3. This thesis try to combine the automatic program generators of PAR Method to the component of this distance education system. These components deploy to the clients by the technology of ClickOnce.4. This thesis design the Smart Client. application program with the offline support. The offline function can use in offline teaching and network examination.