• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"主题词=形式化方法B"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
形式化方法b及其程序规约机理
收藏
分享
引用
《计算机工程》2004年 第16期30卷 16-18,50页
作者：肖美华 薛锦云江西师范大学计算机科学系 
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对b方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了b方法中抽象机的具体运用,对该方法的特点进行了评述。
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部