【摘 要】
：
＂软件可靠性方法＂课程是南京航空航天大学培养面向航空应用领域的计算机系统及软件专业人才的一门研究生特色课程。本文首先对软件可靠性方法中有关软件安全性以及形式化方法方
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
＂软件可靠性方法＂课程是南京航空航天大学培养面向航空应用领域的计算机系统及软件专业人才的一门研究生特色课程。本文首先对软件可靠性方法中有关软件安全性以及形式化方法方面的理论概念、背景以及学科内容发展变化的情况进行了简要描述,并概要介绍了课程的内容;然后,针对传统研究生教学过程中存在的问题提出了面向领域的案例教学方式,并结合南京航空航天大学近年来推行的国际化教学以及科创活动,给出了我们在课程教学中所进行的教学理念、教学内容、教学方法以及考核方式等各个方面的改革内容;最后说明了取得的成果,并指出了进一步需要改
其他文献
阐述了一模多孔挤压模的重要性。介绍一种半空心铝型材一模双孔挤压模结构。提出了一种分割式模芯结构以保证悬臂的强度,详细说明了这种结构的有关参数的选择与优化方法,包括
借助OM、XRD、SEM和电子拉力试验机，对Mg-（4，7，10，13，16）Gd-0．5Zr合金的铸态显微组织和力学性能测试分析，并采用“点阵错配度”研究了合金组织细化机制。结果表明，随着稀土元素钆（Gd）含量
采用18组不同的工艺参数对AZ80Ce超塑性镁合金汽车车轮进行了模锻成形试验,并在车轮不同位置取样进行力学性能测试与分析。结果表明,随着成形温度从410℃提高至470℃、坯料温
通过金相组织、力学性能、疲劳性能检测及透射电镜分析，研究了微合金元素对7N01-T4铝合金板材的组织和疲劳性能响。结果表明，低Zr、Cr含量的7N01-T4铝合金板材表层存在明显粗晶
本文首先对MOOC当前现状做了一般性介绍，比较分析了文理科课程与理工科编程类课程的不同和教学特点，针对“Java程序设计”MOOC课程提出了一种新的教学模式，即实验驱动下的MOOC课