面向领域的"软件可靠性方法"研究生特色课程的教学改革研究

• 作者: 王立松 胡军 陈兵 魏欧
• 来源期刊: 工业和信息化教育
• 学科: 教育
• 关键词: 软件可靠性方法 面向领域的教学 形式化方法 研究生课程改革
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 专业与课程建设
• 页码范围: 20-26
• 页数: 7页
• 分类号: G642
• 字数: 8508字
• 语种: 中文

摘要

"软件可靠性方法"课程是南京航空航天大学培养面向航空应用领域的计算机系统及软件专业人才的一门研究生特色课程.本文首先对软件可靠性方法中有关软件安全性以及形式化方法方面的理论概念、背景以及学科内容发展变化的情况进行了简要描述,并概要介绍了课程的内容;然后,针对传统研究生教学过程中存在的问题提出了面向领域的案例教学方式,并结合南京航空航天大学近年来推行的国际化教学以及科创活动,给出了我们在课程教学中所进行的教学理念、教学内容、教学方法以及考核方式等各个方面的改革内容;最后说明了取得的成果,并指出了进一步需要改进的方面和可能采取的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立松	南京航空航天大学计算机科学与技术学院	64	442	11.0	19.0
2	陈兵	南京航空航天大学计算机科学与技术学院	76	670	14.0	23.0
3	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
4	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0