Estratégia Data-Driven no Desenvolvimento de Software
Resumo
Este artigo mostra uma evolução da estratégia data driven de desenvolvimento de software pela definição exata do conceito de estruturas de dados, definidas como classes (domínios matemáticos). Para aplicar esta estratégia foi projetado um ambiente de desenvolvimento, denominado PROSOFT. Numa extensão dessa estratégia integram-se a esse ambiente um método para geração de ferramentas através de especificações algébricas. O Ambiente garante um aumento de produtividade maior do que aquele obtido pela simples aplicação da estratégia, garantindo, também, automaticamente, alguns objetivos de qualidade do software desenvolvido.
Referências
Watt, D.A. Programming Language Syntax and Semantics, C.A.R. Hoare Series Editor. Prentice Hall, 1991.
Dick, A.J.J. An introduction to Knuth-Bendix Completion. The Computer Journal, v.31, n.1, 1991.
Bigelow, J. Hypertext and CASE IEEE Software 1988. pp. 23-27.
Acly, E. Looking Beyond CASE. IEEE Software, 1988 pp.39-49.
Guttag, J.V. Horning, J.J. Report on the LARCH shared language. Science of computer programming, v.6, n.2, pp. 103-131, March 1986.
Dershowitz, Naclnnn. Ordering for term rewriting systems. Theoretical Computer Science, v. 17, n.3, March 1982.
Huert, G. Oppen, D.C. Equations and rewrite rules. Formal Languages: Perspectives and Problems, Academic Press: London, 1980.
Scott, D., and Strachey, C. Towards a Mathematical Semantics for Computer Languages in Proceedings of Symposium on Computers and Automata (ed. Fox, J.), Polytechnic Institute of Brooklyn Press, New York, United States, pp. 19-16.