文档名：形式化方法现状分析以及结合CSP的教学
形式化方法是软件工程的重要组成部分,教师必须重视形式化方法的教学.一方面,本文分析了形式化方法的教学现状,包括外部环境的影响和本身教学过程中存在的问题.另一方面,CSP语言作为一种重要的形式化方法,在教学方面具备优势,也有良好的工具支持.因此本文提出了结合CSP的形式化教学方法和思路,以激发学生对形式化方法的学习兴趣,促进该方向教学的发展.
作者：王婷江颉曹斌
作者单位：浙江工业大学,杭州,310023
母体文献：浙江省高校计算机教学研究会2019学术年会论文集
会议名称：浙江省高校计算机教学研究会2019学术年会
会议时间：2019年8月27日
会议地点：浙江舟山
主办单位：浙江省高校计算机教学研究会
语种：chi
分类号：F27F12
关键词：高等院校 形式化方法课 教学方法 抽象思维
在线出版日期：2022年8月26日
基金项目：
相似文献
相关博文
- 文件大小:
- 1.02 MB
- 下载次数:
- 60
-
高速下载
|
|
