Programação Super-Estruturada e o Gerador de Programas I-M-E

• V. W. Setzer USP

DOI: https://doi.org/10.5753/sbes.1992.25175

Abstract

In this paper we initially describe why Structured Programming (SP) has not solved the problems of computer programming. We present a new algorithm structure, which we called Superstructured Programming (SSP), of a much higher abstraction level than SP. It eliminates the need of describing in the program the details required by the computer, which are far apart from the data processing problem being solved. SSP may be used both manually as a top-down program development and documentation method, or automaticaly. We present an outline of the I-M-E program generator, which accepts the SSP structures and generates Pascal code. We also mention some results of the manual use of the SSP paradigm in the development od systems software. As a subproduct of the I-M-E project, we have also implemented DECIS, a Decision Table generator producing Pascal and C Code, which has been used in the manual applications. Both products are in the public domain.

References

Böhm, c. & Jacopini, G. Flow diagrams, Turing machies and languages with only two formation rules. comm. ACM 9, 5 (May 1966), 366-371.

Dlugosz, J.M. Logic GEM V. 1.0. Computer Languages 6,5 (May 1989), 131-132.

Wirth, N. Program development by stepwise refinement. Comm. ACM 14, 4 (April 1971), 221-227.

Jackson, M. Software System Development. Prentice Hall, Englewood Cliffs (1983)

McCarthy, J. Sowing seeds of productivity. Computer Languages 6, 6 (June 1989), 34-43.

Nagayama, S. Tabelas de Decisão e a Implementação do Gerador I-M-E. Diss. de Mestrado, Instituto de Matemática e Estatística da USP (Dez. 1990).

Pollack, S.L. Coversion of limited-entry decision tables to computer programs Comm. ACM 8, 11 (Nov. 1965), 677-682.

Pollack, S.L., Hicks, H.T.Jr. & Harrison, W.J. Decision Tables: Theory and Practice. John Wiley & Sons, N.York (1971).

Pooch, U.W. Translation of decision tables. ACM Computing Surveys 6,2 (June 1974), 125-151.

Setzer, V.W. & Melo, L.S.H. A construção de um compilador (5a ed). Ed. Campus, R. de Janeiro (1990).

Setzer, V.W. e Marussi, E. LDT - um gerador universal de: aplicações para processamento de dados RT-MAC-8806, Depto. de Ciência da Computação, IME-USP, São Paulo (Junho de 1983).

Setzer, V.W. Um sistema simples para documentação semi automática de programas. RT-MAC-8808, Depto. de Ciência da Computação, IME-USP, São Paulo (Set. 1988)

Setzer, V.W. Bancos de Dados - Conceitos, Modelos, Gerenciadores, Projeto Lógico e Projeto Físico (3a edição). EM. E.Blücher, São Paulo (1989).

Setzer, V.W. Superstructured programming and the I-M-E program generator. Bericht Nr.7, Fachbereich Mathematik, Phillips Universität Marburg (1991), 34 pgs.

Warnier, LO. Computers and Human Intelligence. Prentice Hall, Englewood Cliffs (1986).

Yourdon, E. & Constantine, I. Fundamentals of a Discipline of Computer Program amd Systems Design. Prentice-Hall, Englewood Cliffs (1979).

ZIM (trad. de NIVAs Guide to ZIM por E.Cecassi). People Computação, Campinas, e Livros Técnicos e Científicos Editora, Rio de Janeiro (1990).