《形式化方法》课程建设探索与实践
形式化方法是计算机科学的一个传统研究方向，是保证计算机软硬件系统正确性与安全性的一种重要方法.随着形式化方法应用在工业界的影响不断增大，以及计算思维2.0的渗透性进一步带动了形式化方法与其他学科方向的交叉融合，已越来越体现形式化方法教育的必要性与可行性.本文针对目前国内外形式化方法教育现状，从课程知识体系、教学模式创新、课程思政、教学资源建设、通专融合培养计算思维与创新思维能力等方面进行探索与实践.
形式化方法 课程知识体系 课程思政 敏捷教学模式 教学资源建设 计算思维2.0
张广泉
苏州大学计算机科学与技术学院,苏州,215006
国内会议
南宁
中文
59-64
2021-10-01（万方平台首次上网日期，不代表论文的发表时间）