B方法相关论文
B方法是近年发展起来的数值求解非线性抛物型偏微分方程中爆破解（b1ow-up so-1ution）的一种高效算法.2015 年,B 方法由 Beck 等[13]......
形式化方法B用抽象机符号来描述软件的规格说明,因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用,UML是面向......
随着工业的飞速发展、信息技术的不断进步，计算机信息系统在各个行业得到广泛应用。保证软件可靠性，提高软件的质量是软件研究的重要......
本课题来源于陕西省自然科学基金项目《信息系统的形式化开发方法研究》。随着信息化的发展,要求不断运用新技术和新思想解决软件......
B方法(俗称B语言)是一种用于描述、设计计算机软件的严格方法,其作用一直延伸到代码生成,并用伪程序语言来描述需求模型,进行软件......
在实时控制系统中，软件是控制反馈环的重要部分。该类软件中增加了严格的时间要求，同时低级的实时技术须与高级的程序设计、网络通信......
形式化方法(Formal Method)基于严格的数学理论,能产生精确、无二义性的形式规约,为软件开发提供了严格的数学基础,对提高软件的可......
随着网络技术的迅猛发展，信息化程度越来越高，工作流系统间的业务协作也变得很频繁，如何实现跨平台异型工作流系统间的功能查找、功能......
随着物联网的高速发展，无线射频识别(Radio Frequency Identification，RFID)技术的应用范围越来越广泛，快速多样化的发展对RFID技术的......
软件需求分析是软件生命周期中的重要阶段,传统开发方式使用自然语言或UML图描述模型,需求中容易出现不一致性、二义性和不完整性......
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持.UML作为新一代面向对象建模语言得到了广泛的支持,已经成为事实......
对形式化B方法与UML结合在软件需求分析中的特点进行了说明,描述了UML设计过程,指出了利用不同的可视框图,表示系统的不同方面,并......
期刊
提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重......
UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对......
内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管......
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过......
为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形......
B方法是形式化方法之一,支持软件开发的全部过程,它通过严格的数学推导和证明来保证软件设计和代码的正确性。在现有的基本方法的......
协议测试对于保证协议实现的正确性起着至关重要的作用，被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性，它不仅......
协议的规格说明主要是以自然语言描述的，对其进行形式化的目的是精确描述协议，减少开发人员对协议规格说明理解的偏差，B方法以数学理......
采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件......
基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提......
对免疫系统中的体液免疫用数学方程来表示抗体产生的规律，再用形式化B方法的抽象机来描述这一方程，所得结论与生物学体液免疫的一般......
阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性。为降低直接使用形式化方法的难度,提出B方法......
单一的形式化方法和技术在描述系统时总是有一定的不足，通过集成TPN与B方法可以相互取长补短。本文讨论了TPN-B技术如何将TPN与B方......
高校学生人数的不断增加使得构建学生行为百分考核系统成为学生管理的必要举措，系统构建中引入了B方法的概念，将传统UML语言与B方法......
文章研究在高可信软件工程中集成形式化方法.以软件设计的UML状态机模型为起点,将其转换为B形式化模型,然后在B工具环境中遵循B方......
协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法可产生......
为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严......
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UM......
现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方......
用B方法建立了T细胞因子网络的形式化模型,基于这个模型,能够使用VC程序工具验证从动物科学与医学院得来的实验数据是否正确,然后......
UML是一种可视化的图形语言，已成为面向对象方法中事实上的工业标准，得到了广泛应用。但是UML缺乏精确的语义描述，不便于使用工具对其......
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一......
直接在超大型数据库（VLDB）上运行DBCC可能会有问题。使用本文作者介绍的Admin／Worker Job方法可以简化这个过程，避免遇到问题。阅读本......
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中，时间类型表示为B方法中系......
针对B方法和原型验证系统（PVS）的特点,提出了将B方法引入到PVS中,即将一个用B方法描述的系统转换为由PVS描述,以此来实现形式化的检......
统一建模语言UML广泛用于面向对象技术的建模，B方法主要是用抽象机来描述软件系统的规格说明。文章针对软件开发中经常用到的UML模......
由于UML采用半形式化的语言描述系统,缺乏精确的语义,而形式化B方法采用严谨的手段对系统进行设计和分析,具有精确性、无二义性等......
统一建模语言（UML）具有一整套完善的建模工具和技术，在很多领域软件设计建模中得到广泛应用。但是用UML建立的模型缺少精确的形式化的......
精确的软件需求规约是确保软件质量的基础，软件过程中保证方法更为重要，良好的方法可以保证在产品的开发过程中不引入人为的错误。现......
用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的......
状态图是UML动态视图之一，主要描述对象的动态行为，但缺乏彤式化的动态语义，不利于软件从需求到代码的自动化转换。B语言支持形式化规......
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B......
通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程......
应用一种改进的变异常数法——B方法,研究一类抛物型偏微分方程猝灭解和猝灭时间的近似性,证明了数值解的存在性,并通过数值模拟验......
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技......
介绍TPN和B方法的集成,并将之运用在Web Service中。通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的......
