程序正确性论文

基于XML的程序设计自动批改的研究
论文摘要随着计算机技术特别是网络技术的迅速发展及其在教育领域中的广泛应用,CAI（ComputerAssistedInstruction）和e-Learning得到了飞速的发展...