C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一，用规范和程序分离的办法设计软件，其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见，以及目前在这一领域尚存在的困难和解决的途径。