[1]董逸生,汪劲.一个支持逐步求精的程序设计工具[J].东南大学学报(自然科学版),1985,15(4):98-106.[doi:10.3969/j.issn.1001-0505.1985.04.011]
 Dong Yisheng Wang Jing.A Programming.Tool to Support Stepwise Refinement[J].Journal of Southeast University (Natural Science Edition),1985,15(4):98-106.[doi:10.3969/j.issn.1001-0505.1985.04.011]
点击复制

一个支持逐步求精的程序设计工具()
分享到:

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

卷:
15
期数:
1985年第4期
页码:
98-106
栏目:
本刊信息
出版日期:
1985-12-20

文章信息/Info

Title:
A Programming.Tool to Support Stepwise Refinement
作者:
董逸生汪劲
南京工学院计算机科学与工程系; 南京工学院计算机科学与工程系80届 讲师; 毕业生
Author(s):
Dong Yisheng Wang Jing
Department of Computer Science and Engineering
关键词:
程序设计工具 自顶向下逐步求精 精化 发展历史 结构化程序设计语言 程序员 计算机 程序生成 编码语言 程序设计方法
分类号:
+
DOI:
10.3969/j.issn.1001-0505.1985.04.011
摘要:
本文介绍了一个交互式的程序设计工具SPA。借助于这个工具,能方便地运用逐步求精的方法发展一个程序并生成以发展历史作为注释、具有缩排格式的清晰易读的程序正文。SPA所包含的一种便条设施可用来对发展过程中出现的任何实体进行说明,从而使得到的程序能为计算机立即执行。本工具用C语言写成,并已在运行UNIX的MC68D00系统上实现。它可适用于C、PASCAL或其它结构化程序设计语言的程序生成。
Abstract:
The paper presents an interactive programming tool SPA. With the help of the tool, the stepwise refinement method can be applied easily to develop a program and generate a program text. The generated text is clear and readable with the comments which consist of development history and with the indentation format. A note facility contained in the SPA can be used to declare any entity which appears in the development process, so that the resulted program is executable immediately. This tool, writen in C, has been implemented in the MC68000 system on the UNIX. It is applicable to generate any program writien in C, PASCAL and other structured programming languages.
更新日期/Last Update: 2013-05-01