构件软件的质量和度量

描述了构件技术的特点,介绍了度量的理论基础,并提出了一些关于构件软件的度量准则。     

Singularity of software reliability models LVLM and LVQM

According to the principle, “The failure data is the basis of software reliabilityanalysis”, we built a software reliability expert system (SRES) by adopting the artificialtechnology. By reasoning out the conclusion from the fitting results of failure data of asoftware project, the SRES can recommend users “the most suitable model” as a softwarereliability measurement model. We believe that the SRES can overcome the inconsistency inapplications of software reliability models well. We report investigation results of singularity and parameter estimation methods of models, LVLM and LVQM. Foundation item: Supported by the National Natural Science Foundation of China Biography: Biography: XU Ren-zuo (1946-), male, Professor, Research interests include software engineering, software reliability engineering, software quality guarantee technology, reliability theory, software safety and security.     

软件可靠性及其模型

描述了软件可靠性的总况 ,并对具有代表性的Halstead模型、Jelinski Moranda模型、Littlewood Verrall模型、Cai模糊增长模型、Geol OkumotoNHPP模型以及超几何模型作了总体性论述 最后给出了软件可靠性面临的主要问题     

产品数据管理技术概述

概述了产品数据管理技术的含义和产品数据管理系统的基本功能组成 ,论述了目前企业面临的主要问题和产品数据管理技术在处理这些问题方面的优势 ,表明了企业实施产品数据管理技术的必要性和迫切性     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

寿阳碧石供水工程自动化监控系统

介绍了该系统的结构、硬件的选型,以及其组态开发,工程实践表明,该系统能很好地实行其监控功能,确保泵站的安全经济运行。     

单齿圈复合运动破岩系统动力特性分析

牙轮钻头牙齿与岩石相互作用过程中的实际运动是很复杂的,它是变角度、斜向冲击压入加滚动和刮切等多种运动的复合。单齿圈复合运动破岩系统能够真实模拟全尺寸钻头上牙齿的运动、受力和破岩的状况,可获得较真实和完整的在一定钻头结构、钻压和转速下无重复破碎的井底破碎坑,从而为评价现有钻头性能和开发设计新型钻头提供重要的依据。研究单齿圈破岩理论,建立单齿圈复合破岩系统几何模型和动力学模型,对于分析不同类型钻头的破岩效率和建立钻头破岩的计算机仿真系统都具有非常重要的意义。通过ABAQUS有限元分析软件建立单齿圈复合运动破岩系统有限元分析模型,采用线性D-P模型模拟岩石材料,进行了单齿圈复合运动破岩系统的仿真。     

软件产品线方法在网络管理软件开发中的研究与应用

给出了软件产品线的开发过程, 把软件产品线的思想应用在网络管理领域, 建立了网络管理软件产品线的特征模型, 定义了一种网络管理软件产品线动态体系结构, 提出一种可变特征集成框架方法. 该产品线已经实现, 并在吉林大学校园网试运行, 结果表明, 使用该产品线, 可以大力度地重用已有的软件资源, 迅速响应用户需求的变化, 开发出满足用户需求的产品.     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

agent—oriented软件开发方法

agent-oriented是一种较新的开发软件的方法,针对agent-oriented方法用于解决现实社会中复杂系统的问题进行讨论,并且介绍了基于agent-oriented方法处理复杂系统的技术步骤。最后,给出了一个基于agent-oriented方法开发的软件实例。