B方法相关论文
B方法是近年发展起来的数值求解非线性抛物型偏微分方程中爆破解（b1ow-up so-1ution）的一种高效算法.2015 年,B 方法由 Beck 等[13]......
本课题来源于陕西省自然科学基金项目《信息系统的形式化开发方法研究》。随着信息化的发展,要求不断运用新技术和新思想解决软件......
伴随着计算机软件系统的规模和复杂程度的提高,软件系统的结构变得日益复杂,软件设计重心从“算法+数据结构”设计转变成为体系结......
B方法(俗称B语言)是一种用于描述、设计计算机软件的严格方法,其作用一直延伸到代码生成,并用伪程序语言来描述需求模型,进行软件......
在实时控制系统中，软件是控制反馈环的重要部分。该类软件中增加了严格的时间要求，同时低级的实时技术须与高级的程序设计、网络通信......
形式化方法(Formal Method)基于严格的数学理论,能产生精确、无二义性的形式规约,为软件开发提供了严格的数学基础,对提高软件的可......
随着网络技术的迅猛发展，信息化程度越来越高，工作流系统间的业务协作也变得很频繁，如何实现跨平台异型工作流系统间的功能查找、功能......
随着物联网的高速发展，无线射频识别(Radio Frequency Identification，RFID)技术的应用范围越来越广泛，快速多样化的发展对RFID技术的......
提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重......
UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对......
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过......
