Jackson设计方法中关于结构冲突的处理

Jackson设计方法是一种面向数据结构的设计方法,本文对此方法的内容给予简单介绍,并对此方法所涉及的输出输出结构冲突问题给予扩充处理。     

软件质量及可靠性保证的技术分析

分析了软件开发的上游工程和下游工程对软件质量的影响，用一个实例说明说明了上游工程对软件质量的决定性影响；对于下游工程，提出了４种质量保证技术，并对提高软件质量的两种技术－容错技术、程序正确性证明给予了介绍。     

软件可靠性模型Jelinski－Moranda的计算机实现

Ｊｅｌｉｒｉｓｋｉ一Ｍｏｍｎｄａ模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现，并引用一个实例对此程序进行验证。     

软件可靠性Jelinski—Moranda的计算机实现

Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型是软件可靠性模型中的古典模型。本文给出此模型的计算机实现，并引用一个实例对此程序进行验证。     

C语言源程序转换为结构流程图的方法

针对软件工程领域中逆向工程的研究课题，提出了一种利用图式把Ｃ语言源程序转换成结构化流程图（ＰＡＤ图）的方法和技术，这实质上是一个源程序的反演系统，可为其它语言流程图的转换提供参考．     

面向数据结构的设计方法-Jackson方法的分析与改进

采用二维展开的表现程序和数据逻辑结构的ＰＡＤ图图示技术，对Ｊａｃｋｓｏｎ结构图解增添了循环和选择条件，使基于数据结构的设计方法具有更清晰的逻辑结构图形表示，且易读、易维护、易转换成高级语言源程序。     

基于NLM的图像三维去噪算法

图像去噪要求在尽量保留有用信息完整性的基础上去除干扰信息,同时保证去噪结果的时域稳定性。在非局部平均NLM(Non-Local Means)算法的基础上提出了更加合理的图像三维去噪算法。该算法首先进行NLM空域去噪,然后再对空域去噪的结果进行加权平均的时域去噪。实验结果表明,本算法和传统去噪算法相比具有去噪结果稳定并不模糊细节的优点,为实际工程应用提供了技术支撑。     

软件可靠性建模分析

从软件可靠性的概念出发，阐述了软件可靠性模型在软件开发及评测中的作用同时给出了软件可靠性模型的分类，故障数据的收集方法，及软件可靠性建模过程。并通过实例分析，指出了在建模过程中应注意的问题。     

软件可靠性模型建立

本文给出一个实际软件的可靠性模型，这是一个小型软件，通过此软件可靠性模型的建立，我们得出下面的结论：一般中、小型软件的可靠性不一定适合指数分布，此例的软件为幂函数分布的。