10.3969/j.issn.1672-5913.2022.06.046
形式化方法类课程设置及教学内容探索
分析目前计算机和软件工程专业形式化方法类课程的现状,并根据软件工程发展形势的最新要求以及课程体系与ACM/IEEE CS2013计算机科学课程体系规范中知识主体的对应关系,指出现行课程体系的可改进之处,阐述重新构建形式化方法类课程体系的可行途径.
形式化方法、编程语言、软件可靠性
G642(高等教育)
中国科学技术大学研究生教育创新计划项目;中国科学技术大学研究生教育创新计划项目
2022-07-04(万方平台首次上网日期,不代表论文的发表时间)
共4页
213-216