一种基于B方法和构件技术的形式化开发方法

构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。     

UML状态图到形式化B语言转换的实例研究

使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

TOP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差,B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明,B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

基于逻辑的形式化验证方法: 进展及应用

近年来, 形式化方法发展很快, 一些技术已经产生工业应用。以逻辑系统为主线, 分析几个影响力比较大的形式化验证技术和验证工具, 以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT, 谓词逻辑方面的ACL2、VDM方法和B方法, 以及高阶逻辑方面的HOL、PVS 和COQ。还介绍形式化方法在学术界和工业界的应用情况, 最后给出几个商业化的形式化验证工具。     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

基于B方法的应用软件开发

随着应用的发展,计算机系统的一致性和可靠性变得越来越重要. 形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性. B形式化方法支持从规范说明到代码生成的整个软件开发周期. 在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.     

构件技术的发展与展望

本文首先介绍并比较了几种主流的构件技术,包括CORBA,COM/DCOM,J2EE三种著名的构件技术。接下来对构件库技术进行了介绍,对基于构件的软件开发方法（CBSE/CBD）进行了阐述。最后对构件技术的未来的发展进行了展望。     

基于PFC的电信计费系统构件设计与实现

分析了构件技术的主要思想和方法,论述了PowerBuilder可复用构件PFC的特点,给出了基于PFC的电信计费系统的构件设计,同时提出了构件技术未来的研究重点.     

基于构件的软件开发技术和方法

软件构件技术是实现软件复用的关键问题,是当前软件界研究的热点。文章通过对构件及构件技术的阐述,探讨了基于构件的软件开发技术、方法以及构件设计评价标准。     

软件工程方法述评

对一些流行的软件工程方法,包括结构化方法、形式化方法、面向对象方法、基于构件的方法、基于Agent的方法、基于净室技术的方法、基于敏捷技术的方法等进行了述评,并对软件工程方法的发展趋势进行了初步探讨.     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。     

面向领域的应用软件构件化开发方法研究

分析和讨论了基于软构件的应用软件开发模型，然后具体阐述了如何依据特定领域分析，提取可复用软构件的方法和步骤，从而达到提高软件的可复用性和开发效率的目的。     

Component-based software developing method for group companies management information system

Considering the special requirements of group enterprise information management software, a new method of massive software development was put forward basing on the component technology and facing the ＂assemblage＂. It generalizes five key parts of the method system including the overall strategy, the application project method basing on the operation ＂assemblage＂, the field project method basing on component, the development method facing the component on the basis of the visible component platform, and the software development process model basing on the component ＂assemblage＂. Besides, this paper describes the process and principle of this method application with an example of the construction of a Communications Investment Group enterprise＇s management information system. The method provides a new idea for breaking away from the predicament appeared in the construction of present enterprise informatization and exploring the way of software industrialization.     

建造信息系统的构件集成方法

基于Ｈ．Ａ．Ｓｉｍｏｎ的决策认知过程分析，提出用构件组装方式来产生适应不同需求的信息系统的集成方法．为了提高研制效率，给出信息系统及其构件的形式化描述，并沿用软件集成块Ｓｏｆｔｗａｒｅ－ＩＣ的思路提出一种基于构件重用的信息系统构成方法．     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

A rough sets based pruning method for bagging ensemble

Ensemble techniques train a set of component classifiers and then combine their predictions to classify new patterns. Bagging is one of the most popular ensemble techniques for improving weak classifiers. However, it is hard to deploy in many real applications because of the large memory requirement and high computation cost to store and vote the predictions of component classifiers. Rough set theory is a formal mathematical tool to deal with incomplete or imprecise information, which has attracted a lot of attention from theory and application fields. In this paper, a novel rough sets based method is proposed to prune the classifiers obtained from bagging ensemble and select a subset of the component classifiers for aggregation. Experiment results show that the proposed method not only decreases the number of component classifiers but also obtains acceptable performance.     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

一种对象式软件开发方法及其支持工具

提出了一种改进的对象式软件开发方法,该方法支持从概念建模、逻辑建模到实现的软件开发全过程;介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制;简要地介绍了支持这种方法的一个软件工具的设计与实现。     

形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.