the trustworthiness metric model of software process quality based-on life circle

Communication University of China; Wuhan University; James Madison University; Institute of Policy and Management, Chinese Academy of Sciences; IEEE Wuhan Section

predicting upgrade project defects based on enhancement requirements: an empirical study

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

a fuzzy-based method for evaluating the trustworthiness of software processes

University of Paderborn; Fraunhofer Inst. Exp. Softw. Eng. (IESE); Chinese Academy of Science (ISCAS)

热网分布式计算机监控系统

介绍了一个热网分布式计算机监控系统。包括系统设计目标、系统构成、控制策略、系统通讯、软件实现及系统运行环境。该系统在铁煤集团热电厂运行 ,取得了较好的效果

工程地质三维建模与可视化技术应用开发

Synthetic Geology Information System (SGIS) is an important constituent part of the theory of Engineering Geomechanics Mate-Synthetic (EGMS), and is the information system more suited for the collection, storage, management, analysis and processing to the information coming from engineering geology,' geological engineering and geotechnical engineering. Its contents involve various works and methods of the investigation, design, and construction in different stages of the geological engineering. Engineering geological and three-dimensional modeling and visualization is the fundamental part of the SGIS, and is a theory, method and technique by which, adopting the computer graphics and image processing techniques, the data derived from engineering geological survey and the calculated results obtained from the geomechanical numerical simulation and analysis are converted to the graphics and images displayed on the computer screen and can be processed interactively. In this paper, the significance and realizing approaches of the three-dimensional modeling and visualization for the complex geological mass in the engineering geology are discussed and the methods of taking advantage of the interpolation and fitting for the scattered and field-surveyed data to simulate the geological layers, such as the topography and earth surface, the groundwater table and the stratum boundary, are researched into. At the mean time, in mind the characteristics of the structure of the basic data for three-dimensional modeling, its visual management can be resolved into the engineering surveyed database management module, plot parameter management module and data output module and the requirement for basic data management can be fulfilled. In the paper, the establishment and development of the three-dimensional geological information system are probed tentatively, and an instance of three-dimensional visual Engineering Distribution Information System (EDIS), theConstruction Management Information System for an airport, in which the functions, such as the real-time browse among the three-dimensional virtual-reality landscapes of the airport construction from start to finish, the information query to the airport facility and the building in the housing district and the recording and playback of the animation sets for the browse and the takeoff and landing of the planes, is developed by applying the component-mode three-dimensional virtual-reality geological information system (GIS) software development kits (SDK), so the three-dimensional visual management platform is provided for the airport construction. Moreover, in the gaper, integrated with the three-dimensional topography visualization and its application in the Sichuan-Tibet Highways, the method of the digital elevation model (DEM) data collection from the topographic maps is described, and the three-dimensional visualization and the roaming about the terrain along the highway are achieved through computer language programming. Understanding to the important role played by the varied and unique topographical condition in the gestation and germination of the highly-dense, frequently-arising and severely-endangered geological hazards can be deepened.

facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

基于MDA的TRISO-Model模型管理方法及应用

TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语义进行模型管理的需求.给出了基于MDA(model driven architecture)进行模型管理的方法MDA-MMMethod(MDA based model management method),应用MDA的4层模型管理结构,基于MDA核心标准MOF(meta object facility)所提供的公共语义基础管理模型和元模型,MDA-MMMethod支持各种MDA模型操作标准实现在TRSIO-model应用中的重用.开发了相应的支持系统MDA-MMSystem(MDA based model management system),应用于SoftPM的项目实践中.与传统方法相比,模型应用的开发效率得到了显著提高,同时降低了开发成本.最后,给出了模型融合的应用实例介绍.

一种用户主导的面向领域应用软件开发新方法

提出一种应用软件开发的新方法 ,称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法 ,强调用户在应用软件开发中的主导作用 ,试图将应用软件的开发过程变成用户详细定义过程 ,而不仅仅是传统的编程过程 .它为越来越多的应用软件开发需求提供了可能有效的一个途径

面向大规模定制的软件开发模式

在领域工程、基于构件的软件工程和并行工程的基础上，提出了面向大规模定制的软件开发模式。该模式以大规模开发标准软件的效益满足用户的个性化需求。介绍了面向大规模定制的软件开发过程，面向大规模定制的软件产品族体系结构，以及面向大模型定制软件开发的产品集成过程模型。最后介绍了一种面向大规模定制的敏捷软件开发组织。

模糊逻辑的采用软件开发工作量估算

软件估算是有半个世纪发展历史的计算机科学领域的一个巨大挑战，因为软件估算涉及到软件项目的成本和计划。开发人员需要能够获得基于他们自己的程序得到的包含了工作量估算的实践。软件成本估算主要估算开发软件系统所需的工作量、时间、人力资源等。一种有效的方式是在项目早期确定成本时估算工作量。软件成本主要依据项目的需求规格说明书来确定。目前，实施可靠、准确的成本估算仍是软件工程领域的一个挑战。 在项目早期阶段，许多项目属性尚未确定。此时的软件估算通常是不准确的，估算 的准确程度取决于用于估算的可靠且可用的信息的数量。在后续的项目分析和设计阶段，对项目的了解更加深入，估算不确定性减少，估算准确性提高。大部分估算模型未考虑这种不确定性，只是得到了确定的估算结果。这些模型需要改进，以得到估计范围和估算结果的发生概率。 新的方法（如：模糊逻辑）可能提供了软件工作量估算的替代方案。软件开发总是可以用一组具有一定程度模糊性的参数来表征。这就需要在模型中引入一定程度的不确定性，以使模型更接近实际。模糊逻辑在这方面很合适。应用模糊逻辑可以解决目前工作量估算模型存在的许多问题。而且，模糊逻辑已经与算法的和非算法的工作量估算模型结合，用于解决固有不确定性问题。 本文提出一种基于模糊逻辑规模的软件开发工作量估算方法。软件规模不是一个单个数字，可以看作是一个三角模糊数(triangular fuzzy number, TFN)。应用本文方法，可以通过改变约束条件对任意常数中的工作量估算结果进行优化。基于对本文方法中模糊权重的平均方差解释%(Variance Accounted For, VAF%) ， 提出了一种最优化算法。应用COCOMO 公开数据集进行了验证实验。与实际工作量估算的比较结果表明，基于偏差系数，本文提出的模型提供了较好的估算结果。 最后，提出了一种改进的基于模糊案例的推理(Fuzzy Case-Based Reasoning , FCBR)方法，该方法集成了agent 技术，可以从多个组织的分布式数据库中找到相似项目。基于该方法，可以从分布式预定义的项目成本数据库中收集软件成本数据，进而建立软件成本估算模型。该模型应用FCBR 方法，在不同软件组织的历史软件项目度量数据中找到类似项目。

旱地作物需水量预报决策辅助系统

旱地作物需水量预报决策辅助系统是利用人工智能技术 ,在 Penman公式的基础上结合现有西北旱区的农学知识、模型以及经验进行系统集成而建立的智能化计算机软件系统 ,该系统是西北地区节水农业专家系统的一个子系统。在生产实践中可为陕西关中地区的冬小麦、夏玉米的栽培作出灌溉方案的决策咨询。

基于OSGi的Web容器重构

The OSGi component architecture for software development can better meet the requirements of current Internet environment in scalability, readability and reusability. This paper presents an approach to refactor legacy softwares towards service-oriented systems using the OSGi as the foundation framework. A case study on reconstructing our Web container system is also involved to validate the approach.

面向方面软件开发的形式化方法与编译器技术分析研究

主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。