形式化方法:现状分析以及结合CSP的教学

摘要：

　　形式化方法是软件工程的重要组成部分,教师必须重视形式化方法的教学。一方面,本文分析了形式化方法的教学现状,包括外部环境的影响和本身教学过程中存在的问题。另一方面,CSP语言作为一种重要的形式化方法,在教学方面具备优势,也有良好的工具支持。因此本文提出了结合CSP的形式化教学方法和思路,以激发学生对形式化方法的学习兴趣,促进该方向教学的发展。

关键词： 软件工程 形式化方法 CSP 教学体系

作者: 王婷 江颉 曹斌

作者单位: 浙江工业大学,杭州,310023

会议类型: 国内会议

会议名称: 浙江省高校计算机教学研究会2019学术年会

会议地点: 浙江舟山

会议语种:中文

页码: 101-107

在线出版日期: 2019-08-27（万方平台首次上网日期，不代表论文的发表时间）