首页> 中文期刊> 《计算机教育》 >形式化方法类课程设置及教学内容探索

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机教育》 |2022年第6期|213-216|共4页
作者
华保健; 樊淇梁; 潘志中;
展开▼
作者单位

中国科学技术大学软件学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类教学理论、教学法;
关键词
形式化方法; 编程语言; 软件可靠性;

相似文献

中文文献
外文文献
专利

1. 编程语言与原理类课程设置及教学内容探索 [J] . 张昱 ,许胤龙 . 计算机教育 . 2019,第2期
2. 大学物理课程分专业设置教学内容的探索与实践 [J] . 吉晓瑞 ,杨晓红 ,李双美 . 沈阳工程学院学报（社会科学版） . 2018,第1期
3. 高职《多媒体技术与应用》课程教学内容设置的实践与探索 [J] . 卢国强 . 神州（下旬刊） . 2013,第006期
4. 高职《多媒体技术与应用》课程教学内容设置的实践与探索 [J] . 卢国强 . 神州 . 2013,第018期
5. 对高职钢琴课教学内容与课程设置的探索 [J] . 胡建华 . 剧影月报 . 2008,第005期
6. 编程语言与原理类课程设置及教学内容探索 [C] . 张昱 ,许胤龙 . 2018年中国高校计算机教育大会 . 2018
7. 对西安体育学院艺术类时尚健身专修课程教学内容设置的研究 [A] . 贺怡凡 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号