[1]程正潮,胡鸣钟,滕至阳.一种函数分割型程序设计规范描述——FDP程序的正确性验证[J].东南大学学报(自然科学版),1987,17(6):133-140.[doi:10.3969/j.issn.1001-0505.1987.06.015]
 Cheng Zhengchao Hu Mingchong Teng Zhiyang (Department of Computer Science and Engineering).A Design Specification Description of the Functional and Decompsitional Programming——FDP program correctness verification[J].Journal of Southeast University (Natural Science Edition),1987,17(6):133-140.[doi:10.3969/j.issn.1001-0505.1987.06.015]
点击复制

一种函数分割型程序设计规范描述——FDP程序的正确性验证()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
17
期数:
1987年第6期
页码:
133-140
栏目:
本刊信息
出版日期:
1987-11-20

文章信息/Info

Title:
A Design Specification Description of the Functional and Decompsitional Programming——FDP program correctness verification
作者:
程正潮胡鸣钟滕至阳
南京工学院计算机科学与工程系; 南京工学院计算机科学与工程系
Author(s):
Cheng Zhengchao Hu Mingchong Teng Zhiyang (Department of Computer Science and Engineering)
关键词:
程序验证 软件规范描述 软件工程
Keywords:
program correctness verification specification description of software software engineering
分类号:
+
DOI:
10.3969/j.issn.1001-0505.1987.06.015
摘要:
FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。
Abstract:
FDP is a method for design specification description of the functional and decompositional programming.The design specification described by this me- thod is called FDP program. This paper presents a basic method and concrete steps of implementing automatic verification of correctness for FDP program,so as to show the superiorties of FDP.
更新日期/Last Update: 2013-05-01