当今世界已迈入信息化时代，各行各业都急需熟练掌握计算机程序设计的技术人员。目前，国际国内出现了许多计算机程序设计的CAI软件，但是这些CAI软件大多数只是简单地停留在教授程序语言的语法的基础上，忽略了对学习者程序设计能力的培养。本文以中科院博士生导师，江西师范大学薛锦云教授承担的两个国家自然科学基金高技术探索项目：实用的软件形式化方法和高可靠性Java程序开发方法研究为背景，初步实现了一个能够帮助学员规范地设计出高质量程序的程序设计智能教学软件平台。 本文所做的工作主要有：1、研究J2EE技术的主要内容与应用方案，2、研究各种学习理论与CAI的设计原则，3、实现薛锦云教授提出的新型程序设计智能CAI环境的模型。文中的程序设计智能教学软件平台以薛锦云教授提出的PAR方法为主要教学内容，结合建构主义等学习理论，用UML进行系统建模，引入JAVA设计模式与面向AGENT编程等思想，基于J2EE技术实现；不仅达到了因材施教，提高学员设计正确程序的能力等功能，而且使该教学平台具有与操作系统无关性、可移植性、可扩充性、可维护性等优点。 本文的研究提供了设计程序设计ICAI软件的新途径，并使薛锦云教授提出的算法程序设计和证明的PAR方法得到了很好的延伸与应用。文中实现的教学软件平台的创新点与特色主要有：1、以程序设计理论和方法学为主要内容，注重学员程序设计能力的培养，2、结合学习理论，对教学内容进行启发式教学，针对不同能力的学生做到“因材施教”；3、具有JAVA多线程的模拟演示功能，形象地介绍算法原理，4、实现了与APLA-C++等程序自动转化器的衔接，学员可立即得到执行结果，5、软件可扩充性、可移植性强，易于转化为网络化教学平台。