抽象机相关论文
形式化方法(Formal Method)基于严格的数学理论,能产生精确、无二义性的形式规约,为软件开发提供了严格的数学基础,对提高软件的可......
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最......
抽象机通常用在软件程序编译器中。提出了一个基于硬件抽象机的处理器设计方法,使用该方法设计了一个Java微处理器,并且利用硬件抽......
Agent组织是多Agent系统研究的重要方面，在不同的Agent组织形式方法中常采用显式的组织形式方法，基于π演算和化学抽象机给出了组织......
针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件......
本文提出了一种基于硬件抽象机的动态翻译技术,它可用于实现Java处理器.该技术采用了硬件抽象机的＂模糊执行＂（HAM）方法,通过分析Java程......
统一建模语言UML广泛用于面向对象技术的建模，B方法主要是用抽象机来描述软件系统的规格说明。文章针对软件开发中经常用到的UML模......
精确的软件需求规约是确保软件质量的基础，软件过程中保证方法更为重要，良好的方法可以保证在产品的开发过程中不引入人为的错误。现......
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键.文章针对B方法,介绍了其产生的历史背景,......
B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评......
B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结......
在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形......
B方法是一种新的形式化方法，使用B方法开发软件可有效提高软件的可靠性、可复用性和开发效率。文中使用B方法对电梯控制系统建立了......
形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过......
使用B方法对磁盘调度建立了B模型，对所建模型进行了活性证明，然后遵循B模型逐步精化的开发规则，利用B方法的精化正确性验证功能，得到系......
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性.在开发过程中,利用抽象......
为提高程序的整体执行效率，提出一种基于踪迹（trace-based）的通用即时编译技术。在SECD抽象机指令序列的解释执行中，将执行频率高的程......
随着信息技术的飞速发展,计算机软件系统的应用逐渐扩展到了社会的各个领域。软件规模和复杂度在不断增加,软件出现错误的可能性也......
在现代科学技术的推动下,配电自动化领域有了突飞猛进的发展。虽然取得了不少的研究成果,但是仍然存在着诸多问题。目前的配电自动......
用形式化方法开发软件是提高软件可靠性和开发效率并实现其自动持从规约到实现的全过程开发工作.本文介绍了B方法的分层开发与证明......
