普通高校软件工程专业形式化理论与算法课程体系的建设与实践

摘要：

　　本文根据软件工程学科的特点和发展方向，分析了目前软件工程学科课程体系建设存在的问题，针对湖南师范大学的特点提出了软件工程学科形式化理论与算法课程体系建设的内容和方法，并对该课程体系建设的实践进行了进一步的探讨。

关键词： 软件工程专业 形式化理论 算法课程体系 教学改革 高等教育

作者: LI Qiang 李强 ZHANG Lixia 张丽霞 GAO Chunming 高春鸣

作者单位: School of Mathematics and Computer Science, Hunan Normal University, Changsha 410081 湖南师范大学数学与计算机科学学院,长沙,410081

会议类型: 国内会议

会议名称: 第19届全国计算机新科技与计算机教育学术大会

会议地点: 黄山

会议语种:中文

页码: 117-120

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