循环不变式开发新策略及其应用

循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范(程序)的精化.精化演算方法能够通过演算的方式,把规范逐步精化为程序.然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的.形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序.因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索.     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范（程序）的精化。精化演算方法能够通过演算的方式,把规范逐步精化为程序。然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的。形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序。因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索。     

一种自适应的循环不变式生成方法

基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法.该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件looplnv.实验结果表明,与invGen和gin-pink工具相比,loopInv的应用更加有效,可较好地完成多数程序的验证过程.     

Web程序设计课程教学探讨

介绍了Web程序设计课程的特点,阐述了Web程序设计课程教学中存在的问题,提出了Web程序设计课程改进教学手段,通过对比不同教学情况的班级成绩分析教学效果,分析得到使用改进教学手段的班级教学效果良好。     

Web程序设计课程教学探讨

介绍了Web程序设计课程的特点,阐述了Web程序设计课程教学中存在的问题,提出了Web程序设计课程改进教学手段,通过对比不同教学情况的班级成绩分析教学效果,分析得到使用改进教学手段的班级教学效果良好。     

谈谈循环程序设计

循环结构是结构化程序设计中的三种基本结构之一,也是程序设计的基础。但是,对于初学者来说,循环结构与人类日常的思维习惯不同,较难掌握。本文通过VF和QBASIC循环程序设计例子阐述了各种语言的循环程序设计都具有共同点。因此在学习中首先要正确理解各种语言循环语句,然后根据具体问题编写算法,找准循环控制条件,据此画出流程图,编写程序语句,上机调试。     

程序设计课程教学思路的探讨

本文介绍了程序设计课程的性质和定位,对处理好语法和算法的关系作了分析和讨论。提出了在教学中教师对课程的要求,具体问题具体分析,以任务为主线精心设计课程的观点。     

运用PAR方法进行算法程序设计

本文主要阐述如何运用一种系统的、统一的算法程序设计方法即PAR方法来开发正确的、高效的算法。该方法将算法设计从程序设计中分离出来,因此我们可以集中精力开发出正确的、高效率的算法。使用该方法得到正确的算法后,经过自动转换系统直接得到某一可执行语言程序。     

程序设计在中职计算机教学中的作用

程序设计教学长期以来一直是中职计算机教学的重点和难点之一,也是目前广大教师争论的焦点。本文结合中职教育的特点,阐述程序设计在现代中职计算机教学中的重要作用。     

树型结构在递归程序教学中的应用

递归程序可以嵌套调用,因此在运行过程中其运行轨迹较复杂。本文将用数据结构中的树型结构来形象化描述递归程序运行轨迹,使递归程序的运行轨迹更加清晰明了和易于理解。     

三维可视化算法教学在程序设计课程中的应用研究

算法是利用计算机解决问题的方法,是程序设计的灵魂和重要基础。但算法的抽象性使其一直为高校程序设计基础课程教学中的难点。利用三维动画技术和情景教学方法,将算法进行三维可视化,以三维动画的形式将算法思想和执行过程演示出来,可以帮助学生更好地理解和掌握算法,提高学生学习的积极性和学习效果。     

程序设计比赛对程序设计语言教学的启发

通过分析程序设计语言教学实践环节存在的问题,从程序设计比赛的导引作用角度提出一些建议和措施,包括转变以验证知识为主的实践教学,提倡问题求解式的实践教学;丰富实践教学形式,形成多层次实践教学体系;加强理论和实践教学的融合,促进学和用的有机结合。     

数据挖掘技术在程序设计课程教学中的应用

本文介绍了在程序设计课程教学中教师如何对学生程序作业进行数据挖掘的一种方法。这种方法即将学生源程序文件分解为语法元素数据,对语法元素数据和成绩进行分析和统计,帮助教师发现导致学生程序错误的主要因素,从而调整教学内容和方式。     

项目驱动教学法在计算机程序设计课程教学中的应用

运用计算机进行程序语言设计是计算机专业学生必须掌握的专业技能。在现在的教学过程中该类课程的教授大多是以老师的讲解理论知识为主,所以造成大部分的在校学生对该类技能的掌握仅仅局限于基本语法,而真正的动手实操能力和独自运算程序的能力都比较欠缺。所以采用项目驱动的教学方法可以有效的提高学生的自主运算能力和实际操作能力。     

递归算法在C语言程序设计中的实现

本文根据递归算法的定义,对其在C语言程序设计中的应用进行了阐述,通过对递归的内部实现过程的描述,对递归的使用进行评价,说明递归在程序设计中具有一定的使用空间.     

C程序设计中循环结构的教学设计与探讨

循环结构在C程序设计中占据重要的位置,是教学中的重点,同时也是教学中的难点。在教学中,如何使学生建立“循环”的概念、理解“循环”的含义、设计“循环”算法、实现“循环”功能,是教学设计的重点。通过对循环结构教学设计,理清教学思路,明确教学目标,化解教学难点、突出教学重点,寓趣味性、目标性于教学中,采用了项目引导、任务驱动、演示法、分析法、讨论法等多种教学方法,调动学生学习的积极性,培养学生程序设计能力。     

程序设计基础课程项目教学实践与思考

本文探讨了程序设计基础课程项目教学设计和编排,并通过教学实践对课程项目教学过程中相关问题进行了思考。     

职业院校程序设计课程教学探索与实践

程序设计课程在职业院校的计算机专业普遍开设,但其教学效果很不理想,本文分析了现实教学中存在的问题,本文结合笔者多年的教学实践从教学内容的安排、教学方法的创新以及如何提高教学实践质量等方面进行探讨。     

程序可视化方法在程序设计课程教学中的应用

针对当前高校中程序设计教学方法陈旧枯燥,部分学生在学习程序设计课程中存在困难的现状,提出利用程序可视化的方法来解决学生对程序设计课程难以理解的难点。通过程序可视化方法可以避免烦冗的程序设计语言的语法限制,让学生能生动直观地看到和理解程序设计算法的执行过程和算法的核心思想。