基于B方法的弹道计算机程序设计技术

作者：张子丘; 郑宇军; 李海英b方法形式化方法弹道计算机抽象机不变式

摘要：针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性.在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社