基于契约式设计的VeriJava编程语言设计

契约式设计是一种以Java语言为主流编程的技术手段，无论是在VefiJava编程语言程序开发中，还是在c＋＋、s#等语言开发中，都被程序开发者广泛使用．对VefiJava编程语言以契约式设计理论的程序设计进行分析研究，将契约式设计理念引入到面向对象编程技术开发中，从而实现契约的编写与程序分离．     

C语言教学改革的探索与实践

C语言是大学一年级学生入校学习的第一门程序设计语言,对于初学者来说是较难学的。本文以《C语言程序设计》课程教学中存在的问题为出发点,结合本校学生的实际情况,在教材建设、改进教学环境和教学方法、改革考试方式和考核方式、建立网上教学等方面阐述了教学改革的思路和方法。     

高职《C语言程序设计》课程改革初探

C语言作为应用最为广泛的程序设计语言，是高职院校理工科专业的一门重要的基础课程，传统的教学已经呈现出很多不足．在大力开展职业教育课程改革的今天，作为教育者，应当在高职教育理念的指导下，确立正确的教学目标，采用多样的教学手段，进行理实一体化的教学，切实提高教学质量．     

项目驱动教学法在Java语言程序设计教学中的应用

自1995年Java语言诞生以来，全世界兴起了Java语言学习热潮。（Java语言程序设计》作为信息类专业重要的专业基础课，旨在提高学生的逻辑思维能力和实际动手能力。项目教学法将理论与实践融入教学过程中，培养学生分析和解决问题的能力。本文提出在《Java语言程序设计》教学中采用项目教学法，并阐述了项目教学法的具体实施过程。     

建构主义教学模式在程序设计语言教学实践中的探讨

在FoxPro程序设计语言教学实践中,通过对传统教学模式与建构主义教学模式进行比较,表明:在程序设计语言教学中,建构主义教学模式优于传统教学模式,分析优于的原因,进一步探讨了建构主义理论指导程序设计语言的教学设计.     

C++语言中模板应用研究

C++程序设计语言中的模板增强了程序设计语言的灵活性。分析了C++模板的形式和特征并结合例子说明了模板在程序设计中的应用。     

高职院校如何开展面向对象的程序设计语言教学

目前,在高职院校中,程序设计语言的教学早已远远滞后于当前技术发展的步伐,严重影响了教与学的质量.必须从教学内容到教学方式,进行适当的改革.     

应用C^＋＋实现进程的并发控制

C^ 作为一种面向对象程序设计语言，具有非常强大的功能。文章描述了C^ 面向对象程度设计语言在进程的并发控制中的应用。     

"C++语言程序设计"课程教学探讨

C++程序设计语言是一门实践性很强的计算机程序语言.本文结合笔者多年的教学经验,指出了目前C++的面向对象程序设计课程教学过程中存在的问题,并从教学内容、教学方法、实验环节、教学内容、考试改革等方面提出了课程改革方案.     

Java异常处理机制使用经验与技巧

异常处理是Java程序设计语言中重要的概念，它是人们掌握面Java编程方法的关键之一。文章针对Java语言中的异常处理机制，结合应用实例，说明异常处理在编写Java程序的一些经验及使用过程中应注意的问题。     

程序设计方法学在程序语言教学中的应用

程序设计方法学是近几年来新兴的发展较为迅速的学科，其核心是讲述程序的性质以及程序设计的理论和方法。在常规的程序语言教学中，教师主要讲授数据类型、程序结构等方面的内容，忽视了程序设计中的模块化以及程序正确性等内容，而这些知识对于学生编写高质量的代码具有重要作用。本文阐述了程序设计方法学在程序语言教学中的作用，并结合结构化程序设计语言和面向对象程序设计语言，说明了如何将方法学运用于相关的教学环节中，培养学生编写正确有效的高质量代码，激发学生对程序语言的兴趣，提高程序设计的能力。      

VB程序设计教学方法探讨

程序设计是一种构造性的技术，VB是一门面向对象的程序设计语言，本文就高职学校该门课程的教学方法以及提高学生的运用能力和程序开发能力进行探讨。     

计算机《高级语言程序设计》课程教学改革的探讨

本文针对信息管理专业和电子商务专业《高级语言程序设计》课程教学中存在的一些问题,提出了对教学进行改革的多条具体措施,并对改革效果进行了分析,最后指出了进一步探讨的问题。     

纯逻辑的程序设计方法

文中对比了逻辑设计与程序设计,指出程序设计可作为某种广义的逻辑设计。拟定一种基于“?塑式”的谓词逻辑,提出一种新的有条理的面向正确性的程序设计方法。它将程序设计语言当作“硬件”,谓词逻辑语言则作为“软件”工具。程序设计工作中摆脱程序设计语言,而主要归结为“边验证边设计地进行的纯碎的逻辑推演”。只在最后,根据得到的?塑式和所使用的程序设计语言,才把该?塑式转换成所要的等效程序。文中举了例子来阐明。     

用GAL16V8设计单片机键盘

提出一种利用通用逻辑阵列ＧＡＬ１６Ｖ８设计单片机常用的２×８键盘的设计方法，并给出用ＣＵＰＬ语言编写的编程程序     

钢管混凝土柱检算和程序

本文介绍钢管混凝土柱强度和变形检算，并编制了相应的ＦＯＲＴＲＡＮ语言程序，可供设计和施工单位使用。     

CDIO工程教育模式下的主动式项目驱动学习——以“Java程序设计”课程为例

Java程序设计语言是当今软件开发的主流语言,也是计算机软件类专业的学生必须掌握的一门基础性面向对象程序设计语言。在大多数高校中,Java课程已成为计算机软件类专业教学的骨干课程之一,其教学效果直接影响IT人才的培养质量。结合"CDIO"工程教育模式,以主动式项目驱动学习的方式对汕头大学《Java程序设计》课程进行重新设计与开发,进而提高学生的学习兴趣和效率,强化实践教学,增强职业能力,培养合格的软件工程师。     

测试驱动开发在Java语言课程实践中的应用

Java语言是计算机专业学生需要掌握的一门面向对象程序设计语言。文章针对Java语言的教学现状,提出将Java语言编程与测试驱动开发编程思想结合的教学方式。该教学方式取得了良好效果,改善了学生编写的程序质量,加快了软件开发的速度。     

形式语言中的上下文无关和上下文相关

形式语言与自动机理论已成为计算机科学的理论基础；对于程序设计语言的说明和分析尤其重要。文中介绍了形式语言与自动机理论中的基本原理，给出了上下文无关文法、上下文相关文法及其相应语言的定义，讨论了它们之间的关系。     

自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。