形式化方法类课程设置及教学内容探索

下载PDF

导出

摘要分析目前计算机和软件工程专业形式化方法类课程的现状,并根据软件工程发展形势的最新要求以及课程体系与ACM/IEEE CS2013计算机科学课程体系规范中知识主体的对应关系,指出现行课程体系的可改进之处,阐述重新构建形式化方法类课程体系的可行途径.

作者华保健樊淇梁潘志中

机构地区中国科学技术大学软件学院

出处《计算机教育》 2022年第6期213-216,共4页 Computer Education

基金中国科学技术大学研究生教育创新计划项目(2020ycjc41,2021ycjc43)。

关键词形式化方法编程语言软件可靠性

参考文献4

1刘克,单志广,王戟,何积丰,张兆田,秦玉文.“可信软件基础研究”重大研究计划综述[J].中国科学基金,2008,22(3):145-151. 被引量：136
2何积丰,单志广,王戟,蒲戈光,房毓菲,刘克,赵瑞珍,张兆田.“可信软件基础研究”重大研究计划结题综述[J].中国科学基金,2018,32(3):291-296. 被引量：10
3张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.程序分析研究进展[J].软件学报,2019,30(1):80-109. 被引量：45

1王淑灵,詹博华,盛欢欢,吴昊,易士程,王令泰,金翔宇,薛白,李静辉,向霜晴,向展,毛碧飞.可信系统性质的分类和形式化研究综述[J].软件学报,2022,33(7):2367-2410. 被引量：5
2李敦锋,肖瑶,冯勇.一种面向物联网数据交易的高效PCN路由策略[J].计算机科学,2022,49(S02):696-700. 被引量：3
3宋东翔,马伽洛伦,王怡然,朱福林.基于DAG的联盟链共识机制研究与分析[J].电子元器件与信息技术,2022,6(8):5-7.
4赵保强,于畅,郁文生.基于Coq的两个重要极限的形式化证明[J].中国科技论文在线精品论文,2021(2):177-186.
5刘树森,邱胜光.紫金山金矿露天采剥方法优化设计[J].江西有色金属,2000,14(1):11-14. 被引量：2
6刘立勤.一眼美穴地[J].佛山文艺,2000(3):56-57.
7郑颖.新工科背景下面向对象程序设计课程教学改革[J].淮北师范大学学报（自然科学版）,2019,40(2):87-91. 被引量：8
8王捍贫,张博闻.分离逻辑的技术基础与研究现状[J].广州大学学报（自然科学版）,2019,18(2):1-9. 被引量：1
9祁龙云,吕小亮,路红,黄皓.汇编级顺序语句块的自动形式化规约及其验证[J].计算机工程,2019,45(10):64-69. 被引量：1
10吕宗平,丁磊,隋翯,顾兆军.基于时间自动机的工业控制系统网络安全风险分析[J].信息网络安全,2019(11):71-81. 被引量：1

计算机教育

2022年第6期

内容加载中请稍等...