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