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

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

安全苛求系统的形式化开发方法

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.     

一种基于Petri网的半形式化面向对象的开发方法

在简要地论述了半形式化面向对象的开发方法的基本思想之后，着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Ｐｅｔｒｉ网的面向对象模型的形式化技术，给出了面向对象方法中一些基本概念的形式描述，旨在完整地形成一种基于Ｐｅｔｒｉ网的半形式化面向对象的开发方法．     

基于B方法的被动测试形式化研究

协议测试对于保证协议实现的正确性起着至关重要的作用,被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性,它不仅能将协议测试贯穿于协议实现的整个生命周期,而且可用于网络管理。文章使用B方法对被动测试进行了形式化建模,使用该模型可检测出网络协议实现错误。     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

一种基于构件技术和数据库的专家系统框架

在综合分析了目前开发专家系统常用的几种技术和用构件技术开发软件系统的特点的基础上，提出了一个以构件技术和数据库技术相结合的构建专家系统的解决方案．该方案将知识以关系数据库的形式表示，采用专家系统的推理机方法实现对结果分析，给出了用构件技术构建基于数据库的专家系统的框架，使专家系统的构建变得方便快捷和更切合需要．最后给出了一个检测分析专家系统的实例．     

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

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

并发系统性质描述的一种形式化方法

给出并系统性质的一种形式化描述方法－时态逻辑方法，其时间模型是离散和和线性的。     

面向对象结合形式化技术的框架式开发方法

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要。     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

基于PVS的数据库安全策略形式化分析方法

基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.     

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

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

一种基于多Agent 适配器的构件重用方法（英文）

首先提出一种构件适应方法－－通过为构件外挂适配器－来解决构件重用中的“接口匹配，消息处理，状态监控和环境模拟”等问题，并采用多Agent适配器来建立一个可适应机制，然后讨论基于这种多Agent适配器的构件适应技术的体系结构和建模方法，最后给出该方法的应用实例和相关的工作。     

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

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

基于主成分分析对四川10年来城市发展评价

本文选取了代表四川1998年到2007年城市发展情况的33个指标, 构建了一个城市和谐发展水平的评价指标体系.通过主成分分析方法对四川这10年来城市和谐发展水平做出了一个评价, 得出一个关于四川10年城市发展的结论, 指出了今后四川城市和谐发展应该努力的方向.     

基于形式概念分析的中医辩证可视化方法

计算机辅助中医辩证研究是一个热点,但是目前尚缺乏一种标准的数学语言用于描述辩证的体系架构。本文提出了一种基于形式概念分析的可视化方法,这种方法将证和证素定义为对象与属性并将它们的概念和层次关系数学化,最后利用概念格将其可视化。最后通过一个实例初步说明了将形式概念分析应用于计算机辅助中医辨证体系研究是可行的。     

形式化方法自动生成测试用例的算法研究

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。     

基于主成分分析的河流洪水系统聚类法

进行河流洪水聚类的目的是根据洪水特征的相似程度划分洪水类别,研究同类洪水的规律性以及应对措施.但是,洪水特征选择过多往往会增加计算的复杂程度,同时特征之间的相关性也使得信息大量重叠,导致计算结果失真.为此,提出基于主成分分析的河流洪水系统聚类法.该法首先将所选的洪水特征综合成少数几个不相关的主成分,然后计算出每场洪水在各主成分上的得分值并将该值作为新的洪水特征值,最后根据这些新特征值进行洪水聚类.三门峡水库入库洪水聚类实例证明了该方法的可行性.