期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于认知建构主义的《C语言程序设计》课程改革 被引量:2
1
作者 孙守卿 《电脑知识与技术》 2020年第28期178-179,共2页
针对目前C语言程序设计公共课程中存在的专业相关性差、学生学习兴趣低、学生动手能力差等问题。以认知建构主义理论为指导,对公共课程《C语言程序设计》的教学模式以及实验实践内容、考核评价方式等进行相应改革。通过改革,使得学生的... 针对目前C语言程序设计公共课程中存在的专业相关性差、学生学习兴趣低、学生动手能力差等问题。以认知建构主义理论为指导,对公共课程《C语言程序设计》的教学模式以及实验实践内容、考核评价方式等进行相应改革。通过改革,使得学生的学习兴趣得到了激发,学生使用计算机语言解决实际问题的能力得到了提高,继而提高了学生综合掌握利用计算机程序设计的能力。 展开更多
关键词 任务驱动 认知建构主义
下载PDF
中外合作办学形式下《计算机科学》课程教学实践与探索
2
作者 孙守卿 刘秋香 苏晶 《科技视界》 2017年第16期1-2,共2页
《计算机科学》(Computer Science)课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂教学,针对中外合作办学生源的具体情况,在实际的教学过程中对原有的教学模式和教学内容作了调整,明确... 《计算机科学》(Computer Science)课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂教学,针对中外合作办学生源的具体情况,在实际的教学过程中对原有的教学模式和教学内容作了调整,明确教学重点难点,很好地改善了教学效果。 展开更多
关键词 计算机科学 程序证明 形式化方法 Hoare TRIPLE LOGIC
下载PDF
基于SPIN的网络脆弱性分析
3
作者 孙守卿 《中国新技术新产品》 2008年第17期16-16,共1页
计算机脆弱性分析是指找出计算机系统的漏洞,以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已知的漏洞,也可以发现系统未知的新的漏洞。在本篇文章中,我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述。建... 计算机脆弱性分析是指找出计算机系统的漏洞,以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已知的漏洞,也可以发现系统未知的新的漏洞。在本篇文章中,我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述。建立了一个简单的网络脆弱性分析模型。 展开更多
关键词 计算机脆弱性 渗透 模型检验 SPIN
下载PDF
案例驱动法在《软件测试》实践教学中的研究与应用 被引量:1
4
作者 苏晶 张冬梅 孙守卿 《科技创新导报》 2018年第22期185-186,共2页
近年来,软件行业蓬勃发展,使得保证产品质量,提高用户满意度成为业界共同关注的首要任务。《软件测试》课程隶属于软件工程课程群,是软件质量保证的基础。在深入分析了目前高校软件测试课程所存在问题后,本文从测试环境的搭建、完整案... 近年来,软件行业蓬勃发展,使得保证产品质量,提高用户满意度成为业界共同关注的首要任务。《软件测试》课程隶属于软件工程课程群,是软件质量保证的基础。在深入分析了目前高校软件测试课程所存在问题后,本文从测试环境的搭建、完整案例的选择和实验项目及内容的设计三方面论述了基于"案例驱动法"的软件测试实践教学改革的研究内容及实施方案,该方案的初步构建和实施,对于系统的提高学生的动手实践能力及专业素养具有重要的意义。 展开更多
关键词 软件测试 实践教学 案例驱动 课程改革
下载PDF
“案例引导、项目驱动”教学法在《.NET程序设计语言》课程中的应用 被引量:3
5
作者 刘秋香 孙坤 孙守卿 《科技视界》 2015年第17期45-45,225,共2页
《.NET程序设计语言》是一门实践性和操作性很强的课程,传统的教学模式已经无法适应发展的需要。本文介绍了一种"案例引导、项目驱动"教学法,这种教学法的关键在于选择案例和设计项目。课堂上,教师以案例的分析讲解让学生掌... 《.NET程序设计语言》是一门实践性和操作性很强的课程,传统的教学模式已经无法适应发展的需要。本文介绍了一种"案例引导、项目驱动"教学法,这种教学法的关键在于选择案例和设计项目。课堂上,教师以案例的分析讲解让学生掌握相关的知识点与技术;机房中,学生以掌握的知识点与技术分组进行相关项目的开发。实践证明,该教学法不仅可以提高学生分析解决问题的能力,而且可以调动学习的积极性,锻炼团队协作能力。 展开更多
关键词 案例引导 项目驱动 程序设计 教学改革
下载PDF
基于首要教学原理指导的“编译原理”课程教学实践 被引量:2
6
作者 孙守卿 《电脑知识与技术》 2018年第11Z期177-178,共2页
《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译原理的课程内容以"解决问题"为核心,通过唤醒旧知、展示新知、应用新知、归纳总结、融会贯通... 《编译原理》是计算机科学与技术专业的与计算机专业的主干课程,具有理论性强、内容抽象等特点。根据梅瑞尔首要教学原理,结合编译原理的课程内容以"解决问题"为核心,通过唤醒旧知、展示新知、应用新知、归纳总结、融会贯通五个阶段完成编译原理课程中语法分析的教学过程,取得了良好的教学效果。 展开更多
关键词 梅瑞尔首要教学原理 编译程序 语法分析 语法分析树 上下文无关文法
下载PDF
计算思维培养为核心的编译原理实验教学实践
7
作者 孙守卿 鞠传香 刘晓红 《电脑知识与技术》 2018年第12期90-90,93,共2页
计算思维是当前教育界广为关注的一个重要概念。该文结合编译原理实验课程中的实验内容,以培养学生的计算思维为核心,从实验内容、实验过程及考核方式三方面,对编译原理的实验课程实施改革,从而提高学生运用形式化方法抽象问题、描述问... 计算思维是当前教育界广为关注的一个重要概念。该文结合编译原理实验课程中的实验内容,以培养学生的计算思维为核心,从实验内容、实验过程及考核方式三方面,对编译原理的实验课程实施改革,从而提高学生运用形式化方法抽象问题、描述问题、解决复杂问题的能力。 展开更多
关键词 计算思维 计算参与 形式化描述 关注点分离
下载PDF
翻转课堂在“编译原理”实验教学中的应用实践 被引量:1
8
作者 孙守卿 《电脑知识与技术》 2018年第11X期135-136,共2页
随着教育信息化的不断深入,"翻转课堂"作为一种新型的教学模式是当前高校教育改革中的热点。本文针对编译原理实验课程教学中存在的问题,将翻转课堂应用到编译原理课程的实验课中,探讨了翻转课堂在编译原理教学中的具体操作,... 随着教育信息化的不断深入,"翻转课堂"作为一种新型的教学模式是当前高校教育改革中的热点。本文针对编译原理实验课程教学中存在的问题,将翻转课堂应用到编译原理课程的实验课中,探讨了翻转课堂在编译原理教学中的具体操作,并给出了教学案例。实践证明对于实验环节,翻转课堂的教学模式可以有效促进学生学习的学习效果,提升学生的动手实践能力。 展开更多
关键词 编译原理 翻转课堂 网络教学平台 任务导学表
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部