论文信息 - Flowcharting by stepwise refinement

Flowcharting by stepwise refinement

This paper describes a flowchart technique, which supports the method of program development by stepwise refinement.Flowcharts made by this technique have a tree structure, which simplifies program test and coding the chart into a programming language. For design of the overall control structure the basic forms concatenation, selection, repetition and restricted GOTO statements are available.

O. Ferstl | O. Ferstl

[1] William A. Wulf,et al. BLISS: a language for systems programming , 1971, CACM.

[2] Ned Chapin. New format for flowcharts , 1974, Softw. Pract. Exp..

[3] Charles T. Zahn,et al. A control statement for natural top-down structured programming , 1974, Symposium on Programming.

[4] Ned Chapin,et al. Flowcharting With the ANSI Standard: A Tutorial , 1970, CSUR.

[5] N. H. Weiderman,et al. Flowcharting loops without cycles , 1975, SIGP.

[6] B. Shneiderman,et al. Flowchart techniques for structured programming , 1973, SIGP.

[7] Lawrence Robinson,et al. Proof techniques for hierarchically structured programs , 1977, CACM.

[8] Kenneth Steiglitz,et al. The Expression of Algorithms by Charts , 1972, JACM.

[9] S. Rao Kosaraju. Analysis of Structured Programs , 1974, J. Comput. Syst. Sci..

[10] Donald E. Knuth,et al. Structured Programming with go to Statements , 1974, CSUR.