计算机科学若干概念的元数学刻划

简要介绍元数学的产生和发展历史以及她的基本思想 ,通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学 ,特别是计算机科学理论的产生与发展所起的重要作用 。

适应高校素质教育的考试形式研究

应试教育下的考试由于其形式单一、考试内容以知识的简单再现为主 ,且学生多为被动参与 ,因而不能对学生的实际水平和能力作出客观评价。实施素质教育后 ,考试形式也应随之变化 ,可根据不同课程、不同专业、不同阶段等采取灵活多样、形式丰富、科学合理的考试形式 。

Coad/Yourdon建模方法的改进与支撑系统研究

讨论了面向对象方法中若干热点概念，在对Ｃｏａｄ面向对象建模语言深入分析的基础了，以一致的表达风格对该方法的表达能力进行了改进和扩充，形成了支持大型并发软件设计的新图形规约，并对相应的支撑环境进行了总体设计，为使用面向对象思想进行并发程序设计提供了一种有效的图形支撑手段。

Rosser公式对偶形的存在及推导

G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与证明中所疏漏的信息 ,推导出了Rosser公式的对偶形式 ,并给出了与此相关的定理 .通过这一研究将深化人们对数学系统相容性、完备性的认识 .

基于DSD的并发面向对象图形语言研究

在深入分析 DSD图的基础上 ,提出了一种支持并发面向对象程序设计的图形语言 COODSD,在其中扩充了面向对象的支撑设施 ,并对图形方法的表达能力从理论上进行了探讨 .

面向对象的设计结构图与类图编辑器研究

分析了一种适用于大型软件和实时并发软件设计的图形设计语言———设计结构图。对其进行了面向对象支持能力的扩充和相应类图编辑器的设计。提出了一种改进的对象式软件开发方法 ,该方法可支持面向对象分析。

对Wirth一个不变式的修正

Wirth在《算法 +数据结构 =程序》一书中关于“对半检索”程序中给出了一个不变式 ,但该不变式是不完善的 .本文对此予以了修正 ,并通过一系列定理及其证明进行了完整的论证 .在论证过程中 ,也揭示出程序作为一种对象 ,其整体的一些性质 .程序的这些特性 ,在一般测试时未必能被认识 .因而程序中的“不变式”及对“不变式”的论证 。