Aspectos de Epistemologia do Software
Resumo
Este trabalho exploratório procura analisar a natureza do processo de desenvolvimento de software, do ponto de vista metodológico. Enfase especial é dada a problemas epistemológicos, com uma apresentação de várias questões fundamentais. Inicialmente, é feita uma distinção entre as duas principais correntes de Engenharia de Software. As concepções de filosofia da linguagem são a seguir utilizadas para procurar indicar o alcance e as limitações do atual estado da arte de métodos analítico-formais. Ao final, são fornecidas indicações de caráter prático.
Referências
BROOKS, F. "The Mythical Man-Month". Reading, Addison-Wesley. 1975.
BROOKS,F. "No Silver Bullet: Essence and Accidents of Software Engeneering." IEEE Computer, vol. 20(4): 10-19, April 1987.
CAMARA NETO,G.; OLIVEIRA, J.R.F.; YAMAGUCHI, F.Y.; VELASCO, F.R.D.; SOUZA, R.C.M. "Tipos Abstratos de Dados em Computação Gráfica e Processamento de Imagens". II Simpósio Brasileiro de Engenharia de Software, Canela, RS, outubro de 1988.
GINZBURG, C. "Mitos, Emblemas, Sinais". São Paulo, Companhia das Letras, 1989. (trad. do italiano "Miti emblemi spie").
HABERMAS,J. "Connaissance et Intérêt". Paris, Gallimard, 1976. (trad. do alemão Erkenntnis und Interesse, 1968).
HAEBERER,A.M.; VELOSO,P.A.S.; BAUM,G. "Formalizacion del Processo de Dessarolo de Software". Buenos Aires, EBAI,1989.
HOARE,C.A.R. "An Axiomatic Basis for Computer Programming". Communications of the ACM, vol. 12, no.5, pp.576-583, May 1969.
KUHN,T.S. "The Structure of Scientific Revolutions". Chicago, Univ. of Chicago Press, 1970.
KUHN,T.S. "Second Thoughts on Paradigms". In: SUPPE,F. (ed.) "The Structure of Scientific Theories". Urbana, Universty of Illinois Press, 1974, pp. 459-482.
KUTSCHERA,F. "Philosophy of Language". Dordrecht, D. Reidel, 1975.
LISKOV,B; GUTTAG,J. "Abstraction and Specification in Program Development". Cambridge, MIT Press, 1986.
MANNA,Z. "Mathematical Theory of Computation". New York, McGraw Hill, 1974.
POPPER,K. "The Logic of Scientific Discovery". Basic Books, New York, 1959.
POPPER,K. "Conjectures and Refutations: The Growth of Scientific Knowledge". Basic Books, New York, 2nd ed., 1965.
QUINE, W.V.O. "Word and Object". Cambridge. MIT Press, 1960.
QUINE, W.V.O. "From a Logical Point of View". Cambridge, Harvard Press, 2nd. ed., 1962.
SUPPE,F. (ed.) "The Structure of Scientific Theories". Urbana, Universty of Illinois Press, 1974
VELOSO,P. "Estruturação e Verificação de Programas com Tipos de Dados". São Paulo, Edgard-Blucher, 1987.
WITTGENSTEIN,L. "Investigações Filosóficas". São Paulo, Abril. 1979. (Trad. do alemão Philosophische Unterschungen, 1953).
BROOKS,F. "No Silver Bullet: Essence and Accidents of Software Engeneering." IEEE Computer, vol. 20(4): 10-19, April 1987.
CAMARA NETO,G.; OLIVEIRA, J.R.F.; YAMAGUCHI, F.Y.; VELASCO, F.R.D.; SOUZA, R.C.M. "Tipos Abstratos de Dados em Computação Gráfica e Processamento de Imagens". II Simpósio Brasileiro de Engenharia de Software, Canela, RS, outubro de 1988.
GINZBURG, C. "Mitos, Emblemas, Sinais". São Paulo, Companhia das Letras, 1989. (trad. do italiano "Miti emblemi spie").
HABERMAS,J. "Connaissance et Intérêt". Paris, Gallimard, 1976. (trad. do alemão Erkenntnis und Interesse, 1968).
HAEBERER,A.M.; VELOSO,P.A.S.; BAUM,G. "Formalizacion del Processo de Dessarolo de Software". Buenos Aires, EBAI,1989.
HOARE,C.A.R. "An Axiomatic Basis for Computer Programming". Communications of the ACM, vol. 12, no.5, pp.576-583, May 1969.
KUHN,T.S. "The Structure of Scientific Revolutions". Chicago, Univ. of Chicago Press, 1970.
KUHN,T.S. "Second Thoughts on Paradigms". In: SUPPE,F. (ed.) "The Structure of Scientific Theories". Urbana, Universty of Illinois Press, 1974, pp. 459-482.
KUTSCHERA,F. "Philosophy of Language". Dordrecht, D. Reidel, 1975.
LISKOV,B; GUTTAG,J. "Abstraction and Specification in Program Development". Cambridge, MIT Press, 1986.
MANNA,Z. "Mathematical Theory of Computation". New York, McGraw Hill, 1974.
POPPER,K. "The Logic of Scientific Discovery". Basic Books, New York, 1959.
POPPER,K. "Conjectures and Refutations: The Growth of Scientific Knowledge". Basic Books, New York, 2nd ed., 1965.
QUINE, W.V.O. "Word and Object". Cambridge. MIT Press, 1960.
QUINE, W.V.O. "From a Logical Point of View". Cambridge, Harvard Press, 2nd. ed., 1962.
SUPPE,F. (ed.) "The Structure of Scientific Theories". Urbana, Universty of Illinois Press, 1974
VELOSO,P. "Estruturação e Verificação de Programas com Tipos de Dados". São Paulo, Edgard-Blucher, 1987.
WITTGENSTEIN,L. "Investigações Filosóficas". São Paulo, Abril. 1979. (Trad. do alemão Philosophische Unterschungen, 1953).
Publicado
25/10/1989
Como Citar
CÂMARA, Gilberto.
Aspectos de Epistemologia do Software. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 340-348.
DOI: https://doi.org/10.5753/sbes.1989.25270.
