形式化方法类课程设置及教学内容探索
作者机构:中国科学技术大学软件学院江苏苏州215123
出 版 物:《计算机教育》 (Computer Education)
年 卷 期:2022年第6期
页 面:213-216页
学科分类:0401[教育学-教育学] 04[教育学] 040102[教育学-课程与教学论]
基 金:中国科学技术大学研究生教育创新计划项目(2020ycjc41 2021ycjc43)。
摘 要:分析目前计算机和软件工程专业形式化方法类课程的现状,并根据软件工程发展形势的最新要求以及课程体系与ACM/IEEE CS2013计算机科学课程体系规范中知识主体的对应关系,指出现行课程体系的可改进之处,阐述重新构建形式化方法类课程体系的可行途径.