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

Resumo

Neste trabalho mostramos inicialmente porque a Programação Estruturada (PE) não resolveu os graves problemas da programação de computadores. Apresentamos uma nova estruturação de algoritmos, que denominamos Programação Super-Estruturada (PSE), de um nível de abstração muito mais alto que a PE, e que elimina a necessidade de se descrever detalhes necessários para o computador, mas que estão longe do problema que se quer resolver. A PSE pode ser usada tanto manualmente, como técnica de desenvolvimento “top-down” de programas e documentação, como automaticamente. Apresentamos caracteristicas do gerador de programas I-M-E, que emprega as estruturas da PSE e gera programas em Pascal, e mostramos também alguns resultados do uso manual do novo paradigma de programação em desenvolvimento de software básico. Como subproduto do projeto foi também implementado o pre-processador de Tabelas de Decisão DECIS, que gera Pascal e C, usado no caso manual. Ambos os produtos estão no domínio público.

Referências

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).