目前许多程序设计教科书和教学软件均不能给出从需求解的问题到可执行程序的设计过程。这给讲授和学习程序设计均带来极大的困难。薛锦云教授率领软件形式化和自动化课题组在国家863,973和国家自然科学基金等近10项国家课题连续资助下,经过长期系统的研究,形成了算法程序设计的PAR方法及其支撑环境[42]。应用PAR方法,可以给出从需求解的问题,到可执行程序的具体设计过程。本文的目的是遵循PAR方法提供的算法程序设计模式将基于JATLITE代理平台的程序设计ICAI实验进行完善和扩充,和已经研制成功的PAR平台进行链接,构成集成化程序设计智能教学软件PICAI,并基于PICAI和现代教育理念实现了程序设计基础的辅助教学。 在系统的研制过程中,本文主要开展了以下工作: 1.研究了系统重构的理论知识,仔细分析了已有PAR平台的结构和功能,并遵循PAR方法提供的算法程序设计模式将基于JATLITE代理平台的程序设计ICAI实验系统进行完善和扩充,并和已经研制成功的PAR平台进行链接,构成集成化程序设计智能教学软件PICAI; 2.对PAR方法进行了研究与总结,用PAR方法推导了多个典型算法程序,总结出其中规律;将适合用PAR方法开发的算法程序进行分类,并运用于本系统; 3.研究了现代教育技术的相关知识,并在现代教育理论的指导下将本系统应用于PAR方法为核心的程序设计基础课程的教学中。 4.深入研究了现代学习理论,运用知识链接的方法将教学过程从传统的逻辑体系中分离出来,使讲授转变为学生发现问题、探究问题的意义建构过程。使学生由外部刺激的被动接受者和知识的灌输对象成为信息加工的主体、知识意义的主动建构者。真正的让学习者在学习过程中,产生对学习的兴趣与主动性,满足了其个性化的需求。更能体现出PICAI因材施教的特点。 本研究主要进行了如下创新: 1.首次实现将计算机辅助教学系统和PAR平台集成,使PAR平台应用于程序设计课程的教学,起到了教学代理的作用。 2.尝试将教学内容用知识链接的方式呈现给学习者,而不是以往的“书本搬家”,“黑板搬家”等外部灌输的教授模式,学习者经过自身的发现问题、探究问题,可以变被动为主动,成为真正的知识意义的建构者。 3.运用多媒体、动画等技术设计并实现了人性化界面