湖南省普通高等学校教学改革研究项目(2010-495)

作品数：3被引量：6H指数：1
导出分析报告
相关作者：余波谢轶群更多>>
相关机构：中南林业科技大学涉外学院国防科学技术大学更多>>
相关期刊：《小型微型计算机系统》《大学教育》更多>>
相关主题：过程思维计算机专业核心课程教学核心课程教学过程更多>>
相关领域：文化科学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
独立学院计算机专业核心课程教学改革探究被引量：5
《大学教育》2012年第4期36-38,共3页余波 
湖南省教育厅高校教学改革项目(项目编号:2010-495);中南林业科技大学涉外学院教学改革项目(项目编号:2011-07)
针对独立学院计算机专业教师以任务思维指导教学会阻碍培养学生的专业基本能力的问题,笔者以所在学院的计算机专业教学实践为例,提出以教执委发布的《核心课程实施方案》为指南,以培养学生专业基本能力为导向,坚持面向过程与面向任务相...
关键词：独立学院 专业基本能力 过程思维 任务思维 核心课程 
面向过程思维的独立学院专业教研室建设探究被引量：1
《大学教育》2012年第1期44-45,共2页余波 谢轶群 
湖南省教育厅高校教学改革项目(项目编号:2010-495);中南林业科技大学涉外学院教学改革项目(项目编号:2011-07)
独立学院工科专业教研室的建设一般存在管理目标模糊、效能低下等问题。要解决这一问题,必须从教研室功能设置与建设出发,以面向过程的教学理念为基础,以培养学生的专业能力为导向,规范教学过程,加强专业教研室的团队建设。
关键词：独立学院 教研室建设 团队建设 计算机专业 教学过程 
面向代数规约测试谓词/变迁网
《小型微型计算机系统》2011年第9期1804-1809,共6页余波 
国家"九七三"重点基础研究发展计划项目(2005CB321802)资助;湖南省教育厅高校教学改革项目(2010-495)资助
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序...
关键词：代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部