Flowcharting by stepwise refinement

ABSTRACT

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.

REFERENCES

• 1: J. Bruno , K. Steiglitz, The Expression of Algorithms by Charts, Journal of the ACM (JACM), v.19 n.3, p.517-525, July 1972 [doi>10.1145/321707.321720]
• 2: Ned Chapin, Flowcharting With the ANSI Standard: A Tutorial, ACM Computing Surveys (CSUR), v.2 n.2, p.119-146, June 1970 [doi>10.1145/356566.356570]
• 3: Chapin, N.: New Format for Flowcharts. Software---Practice and Experience 4(1974), 341--357
• 4: Dijkstra, E. W.: Notes on Structured Programming; in: Dahl, O.-J., Dijkstra, E. W., Hoare, C. A. R.: Structured Programming. Academic Press 1972, 1--82
• 5: Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974 [doi>10.1145/356635.356640]
• 6: Kosaraju, S. R.: Analysis of Structured Programs. J. Computer and System Sciences 9,3(Dec. 1974), 232--255
• 7: I. Nassi , B. Shneiderman, Flowchart techniques for structured programming, ACM SIGPLAN Notices, v.8 n.8, p.12-26, August 1973 [doi>10.1145/953349.953350]
• 8: Niemeyer, G.: Kybernetische Systeme. in: Noltemeier, H.(Hrsg.): Computergestützte Planungssysteme. Physica 1976, 257--289
• 9: Lawrence Robinson , Karl N. Levitt, Proof techniques for hierarchically structured programs, Communications of the ACM, v.20 n.4, p.271-283, April 1977 [doi>10.1145/359461.359483]
• 10: N. H. Weiderman , B. M. Rawson, Flowcharting loops without cycles, ACM SIGPLAN Notices, v.10 n.4, April 1975 [doi>10.1145/987278.987283]
• 11: Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
• 12: W. A. Wulf , D. B. Russell , A. N. Habermann, BLISS: a language for systems programming, Communications of the ACM, v.14 n.12, p.780-790, Dec. 1971 [doi>10.1145/362919.362936]
• 13: Zahn, C. T.: A control statement for natural top-down structured programming. Symp. Programming Languages, Paris 1974