程序设计技术

作品数：85被引量：111H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郝宏伟范淑果李素萍童宏永林建平更多>>
相关机构：中国地质大学（北京）河北工业职业技术学院中国科学院软件研究所东南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金河北省教育厅自然科学基金武汉大学科技创新基金国家重大科学工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于B方法的弹道计算机程序设计技术被引量：2
《计算机工程与设计》2005年第12期3295-3297,3300,共4页张子丘 郑宇军 李海英 
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参...
关键词：B方法 形式化方法 弹道计算机 抽象机 不变式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部