程序设计ICAI环境的生成策略

摘要：

本文以我们承担的两个国家自然科学基金高技术探索项目研究为背景。实现了一个新型程序设计ICAI平台。该平台以程序设计方法学和算法程序设计、证明、推导的PAR方法为主要内容，可根据教师和学生的实际需求生成对应的教师施教和学生学习的环境。文中将对教学软件平台提供的入门知识学习环境、简单与典型程序设计环境的生成策略进行深入的探讨。

关键词： 程序设计 PAR方法 软件代理 生成策略 ICAI平台 教学软件平台 校园网建设

作者: 胡启敏 薛锦云

作者单位: 江西师范大学计算机信息工程学院,南昌,330027 中国科学院软件研究所,北京,100080

会议类型: 国内会议

会议名称: 第七届全球华人计算机教育应用大会

会议地点: 南京

会议语种:中文

页码: 103-106,111

在线出版日期: 2003-05-16（万方平台首次上网日期，不代表论文的发表时间）