形式化方法B及其程序规约机理
文献类型：期刊论文
| 作者 | 肖美华 ; 薛锦云 |
| 刊名 | 计算机工程
 |
| 出版日期 | 2004 |
| 卷号 | 30期号:16页码:16-18,50 |
| 关键词 | 形式化方法B 程序规约 抽象机 程序设计 形式化方法 程序规约 机理 软件自动化 软件可靠性 生产效率 开发软件 抽象机 运用 历史 革命 |
| ISSN号 | 1000-3428 |
| 其他题名 | formal method b and its program specification theory |
| 中文摘要 | 用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键.文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述. |
| 收录类别 | wanfang |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 源URL | [http://124.16.136.157/handle/311060/12822]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 肖美华,薛锦云. 形式化方法B及其程序规约机理[J]. 计算机工程,2004,30(16):16-18,50. |
| APA | 肖美华,&薛锦云.(2004).形式化方法B及其程序规约机理.计算机工程,30(16),16-18,50. |
| MLA | 肖美华,et al."形式化方法B及其程序规约机理".计算机工程 30.16(2004):16-18,50. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。