一种基于程序结构和程序作用的复杂性度量

本文提出了一种将程序结构和它对环境状态的作用综合起来进行评估的程序复杂性度量方法.这一方法直观、易于理解、易于计算,并可以处理用其它度量方法无法解释的一些问题。     

基于Windows的层次化程序结构

几乎所有的软件在开发中都存在着大量的反复过程，这种反复会迫使最优秀的软件人员对软件的不同方面做程度不等的变动，这已成了程序员们的一块心病。作者通过一个具体例子提出的囊层次化的从下往上的软件设计方法，会有效地减轻开发者的负担，提高总体开发效率。     

基于拓扑结构的程序复杂性度量研究

基于程序拓扑结构,分析传统McCabe复杂性度量法,提出封闭区域个数统计法和判定结点个数统计法两种快速、直观、简便的计算方法,并提出路径复杂度算法,由此定义判定树类拓扑结构程序以路径数即分支数作为程序复杂度,同时提出了降低复杂度的程序设计方法,以实例进行对比验证,实践证明该方法简单、可行、有效.     

一种用Pro树测试和辅助设计Prolog程序的方法

按着Ｐｒｏｌｏｇ语言创立者Ａｌａｉｎ Ｃｏｌｍｅｒａｕｅｒ的思路＾［２］，本文提出一种称为Ｐｒｏ树的图形方法。它既可用于程序的理解＾［６］，又可用于程序的测试和辅助设计。文中包括该方法的生成规则，各节点及谓词参量间的关系等内容，并以实例说明了Ｐｒｏ树的应用。     

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P₀,Q₀)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P₀,Q₀)计算等价,并且程序P_n解目标Q_n比程序P₀.解目标Q₀效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.     

PC兼容工控机实时程序的一种层次化模块结构及设计方法

适于工业控制ＰＣ机环境的一种新颖的实时程序层次化模块结构和相应的设计方法。多次实用证明其效果良好。     

面向对象软件复杂性度量工具的研制

利用软件度量工具对程序源代码进行分析，度量其软件复杂性，是提高软件质量的一个重要方法。目前，面向对象语言已经成为主流的编程语言，因此度量基于面向地象技术的软件复杂性成为必然的需求，为此，研制了一套面向对象软件复杂性度量工具，对其进行了介绍，并予以详细分析。     

程序系统错误分析和调试测试方法

通过典型实例分析了程序系统的错误类型,研究了如何用调试与测试方法提高程序的正确率,从而说明了一个好的程序系统从分析、编程到调试运行成功是件不容易的事。     

基于粗粒度程序切片的软件度量

软件度量是保证软件质量的重要方法,程序切片是一种针对切片标准简化程序的技术。提出了一种基于粗粒度程序切片技术度量面向对象程序模块耦合度和类内聚度的量化方法,扩展了粗粒度程序切片的含义,基于面向对象系统依赖图进行程序切片,给出了对应的算法实现,利用切片技术度量了模块耦合度和类内聚度。     

基于Pro图的程序形式推导技术

介绍一种形式化程序推导方法，该法使用Ｈｏａｒｅ公式（Ｐ／Ｐ／Ｑ），通过Ｐｒｏ图图解前谓词Ｐ和后谓词Ｑ，并按Ｐｒｏ图激活过程逐步写出过程式语言的源程序。     

程序复杂程序的定量度量方法探讨

基于ＭｃＣａｂｅ方法，在计算程序环形复杂度时，考虑了嵌套结构间的关联复杂度，并给出了关联复杂度的一个较优值，使程序复杂度的计算更趋合理。     

可编程序控制器的应用设计

可编程序控制器以其优良的性能，越来越广泛地应用到各个控制领域。通过参加乳化沥青生产自动化设备的研制，叙述了可编程序控制器的应用设计。     

递归程序的非递归转换方法

本文分析了递归程序的几种特殊情况，给出了相应的非递归转换方法，并分别给出了实例。最后，通过两种方法的比较，指出使用它们的优劣性。     

面向对象的系统分析和程序的一种新设计方法

面向对象的系统分析与程序设计展现了软件工程学中一种新颖的思想概念和理论方法体系，具有相当的优越性与发展潜力，但在理论上与实践上均未完全成熟定型，提出了基于关键词限定的信息传递模式概念，对系统信息结构的两种形式及面向对象的程序设计方法进行了讨论。并以“宏观经济智能人－机决策支持系统”中的一个问题过程     

程序网络及执行时间复杂性的估计

本文提出了一种程序网络表示模型,并用程序段的执行时间t及执行概率P对程序网络进行标记,称为t区域网络。然后,将程序网络变换为Z区域网络,Z的幂相当于t区域中一个单位延迟时间的若干倍。最后对Z区域网络进行简化,最终的Z区域表达式即为原程序的总的时间延迟公式。本文还讨论了此方法的应用情况。     

双重递归Pro1og程序的运行机制

使用Ｐｒｏ图作为工具对一个双重递归的Ｐｒｏｌｏｇ程序进行了图解，给出了该程序的Ｐｒｏ图，该图激活时各谓词和参量的变化情况，用逐步推导的详细演算式描述了其复杂的运行机制。     

一种改进的程序分频器

对铷频标中的频率合成器内的程序分频器进行了设计，并介绍了改进后的程序分频器。实验结果表明，该程序分频器用于铷频标的频综器中性能指标满足要求。     

递归过程的程序变换

本文提出了保持使用界面不变的递归过程程序变换的思想，给出了从递归过程到非递归过程的行文替换规则，并推广到递归函数和带变量形式参数的递归过程，本文还从递归过程程序变换的观点，对几种目前广泛使用的程序设计语言作了若干评论。     

面向对象的有限元程序框架

将面向对象的程序设计方法引入到有限单元法程序设计中,通过数据封装构建了有限元基本数据类,并在此基础上构造了有限元程序框架,阐明了面向对象方法在有限元软件开发中的运用。