【摘 要】
:
程序设计是计算机专业的第一门核心必修专业课程,但是在教学实践中,学生很难掌握程序设计语言中一些复杂的或抽象的理论知识.为了提高教学效果,针对程序设计课程教学的难点,
【机 构】
:
南京航空航天大学计算机科学与技术学院,高安全系统的软件开发与验证技术工业和信息化部重点实验室
【基金项目】
:
国家自然科学基金(U1533130),高安全系统的软件开发与验证技术工业和信息化部重点实验室开放基金(XCA18164-02)
论文部分内容阅读
程序设计是计算机专业的第一门核心必修专业课程,但是在教学实践中,学生很难掌握程序设计语言中一些复杂的或抽象的理论知识.为了提高教学效果,针对程序设计课程教学的难点,本文设计和实现了面向程序设计课程的教学系统:程序动态分析系统.该系统通过综合运用程序设计等专业课程的知识,实现了程序错误检测和源代码自动插桩,同时可以展现这些知识之间的深度融合.我们将该系统应用于程序设计教学实践,有助于学生理解和掌握程序设计课程的难点,以及这些知识在实际软件开发过程中的应用,从而有效提高教学效果.
其他文献
文章以广东省农业科学院作物研究所为例,阐述了其知识产权管理的现状和主要做法,分析了农业科研单位普遍存在的知识产权管理问题,如知识产权保护意识不强、知识产权保护专项
近日,国务院印发的《数字乡村发展战略纲要》提出要推进农业数字化转型并优化农业科技信息服务等,现代农业产业园是三产深度融合的重要载体,结合数字乡村发展战略任务和现代
随着我国山区经济的发展,所种植的农作物品种越来越多,山区农业种植经济越来越好,各种经济农作物的栽培对山区农业经济的发展起到了重要的推进作用。魔芋作为近些年来出现在
近些年,各项科学技术在不断研发和利用,帮助我国的各个行业实现了生产水平的提高。在我国的农业生产领域,设施农业技术也得到了广泛的应用和普及,实现了生产效率的提高,推动
文章概述了国内外农业院校农技推广典型模式,分析了我国农业高校农技推广模式存在的问题,并以华南农业大学为例,对其农技推广服务体系与服务平台进行概述,从解决生态问题、提
近年来我国北方部分小麦主产区燕麦、节节麦等禾本科恶性杂草日益严重,已成为影响小麦产量的重要草害。燕麦,禾本科一年生草本植物,根系发达较坚韧,茎秆直立光滑,一般高60-12
当前,人们对于肉制品的品质需求日益提升,并且生猪养殖也呈规模化发展。但是养殖过程,可能由于病毒性疾病,导致猪肉产品存在安全隐患。当猪患病毒性疾病时,合理使用干扰素能