|
|||||
|
|
| 软件形式化开发研究 | |
| 引用本文： | 胡芳.软件形式化开发研究[J].中国水运,2006,6(8):113-115. |
| 作者姓名： | 胡芳 |
| 作者单位： | 九江学院信息科学与技术学院 |
| 摘 要： | 形式化方法被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径,也是实现软件开发自动化的关键。阐述了软件开发的形式化方法,介绍了几种典型的形式化软件开发工具,重点介绍了PAR方法,并结合具体实例阐明了PAR方法的应用。 |
| 关 键 词： | 软件危机 形式化方法 |
| 文章编号： | 1006-7973(2006)08-0113-03 |
| 修稿时间： | 2006年6月25日 |
Software formalization development research |
|
| Hu Fang.Software formalization development research[J].China Water Transport,2006,6(8):113-115. | |
| Authors: | Hu Fang |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |