|
|||||
|
|
| 一种函数分割型程序设计规范描述——FDP程序的正确性验证 | |
| 引用本文： | 程正潮,胡鸣钟,滕至阳.一种函数分割型程序设计规范描述——FDP程序的正确性验证[J].东南大学学报(自然科学版),1987(6). |
| 作者姓名： | 程正潮 胡鸣钟 滕至阳 |
| 作者单位： | 南京工学院计算机科学与工程系，南京工学院计算机科学与工程系，南京工学院计算机科学与工程系 |
| 摘 要： | FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。 |
| 关 键 词： | 程序验证 软件规范描述 软件工程 |
| 本文献已被 CNKI 等数据库收录！ | |