|
|||||
|
|
| C~3I系统中软件的程序设计方法问题 | |
| 引用本文： | 刘育刚.C~3I系统中软件的程序设计方法问题[J].火力与指挥控制,1994(4). |
| 作者姓名： | 刘育刚 |
| 作者单位： | 哈尔滨船舶工程学院 |
| 摘 要： | 软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一，用规范和程序分离的办法设计软件，其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见，以及目前在这一领域尚存在的困难和解决的途径。 |
| 关 键 词： | 软件可靠性设计 指挥控制软件 形式化程序设计方法 程序验证 |
| 本文献已被 CNKI 等数据库收录！ | |