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