湖南省普通高等学校教学改革研究项目(2010-495)
- 作品数:3 被引量:6H指数:1
- 相关作者:余波谢轶群更多>>
- 相关机构:中南林业科技大学涉外学院国防科学技术大学更多>>
- 发文基金:湖南省普通高等学校教学改革研究项目国家重点基础研究发展计划更多>>
- 相关领域:文化科学自动化与计算机技术更多>>
- 面向代数规约测试谓词/变迁网
- 2011年
- 针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.
- 余波
- 关键词:代数规约测试充分性准则
- 面向过程思维的独立学院专业教研室建设探究被引量:1
- 2012年
- 独立学院工科专业教研室的建设一般存在管理目标模糊、效能低下等问题。要解决这一问题,必须从教研室功能设置与建设出发,以面向过程的教学理念为基础,以培养学生的专业能力为导向,规范教学过程,加强专业教研室的团队建设。
- 余波谢轶群
- 关键词:团队建设计算机专业教学过程
- 独立学院计算机专业核心课程教学改革探究被引量:5
- 2012年
- 针对独立学院计算机专业教师以任务思维指导教学会阻碍培养学生的专业基本能力的问题,笔者以所在学院的计算机专业教学实践为例,提出以教执委发布的《核心课程实施方案》为指南,以培养学生专业基本能力为导向,坚持面向过程与面向任务相结合的教学理念,构建网络教学平台以革新作业教学模式,革新专业课程教学和课程与能力考核方式,探索具有独立学院特色的应用型人才培养模式。
- 余波
- 关键词:过程思维核心课程