Revista de Sistemas de Informao da FSMA n. 6 (2010) pp. 3-10 http://www.fsma.edu.br/si/sistemas.

html

Uma Reflexo sobre a Pesquisa em Cincia da Computao Luz da Classificao das Cincias e do Mtodo Cientfico
Raul Sidnei Wazlawick

t Resumo Este artigo apresenta uma reflexo sobre a Cincia da Computao e o Mtodo Cientfico. Inicialmente discutem-se as diferentes facetas da Computao frente classificao das cincias e observa-se que diferentes subreas da Computao podem ser caracterizadas dentro de diferentes subclassificaes da Cincia. As principais correntes filosficas que definem o que se conhece como mtodo cientfico e sua influncia nas pesquisas em Computao so apresentadas. Finalmente discute-se a diferena entre Cincia e tecnologia e os graus de maturidade em trabalhos em Computao. Palavras-chave Pesquisa em Cincia da Computao, Mtodo Cientfico, Classificao das Cincias, Formas de Pesquisa, Cincia e Tecnologia.

I. INTRODUO

COMPUTAO ora classificada entre as cincias exatas ora entre as engenharias. Mas algumas subreas so bastante prximas das cincias sociais e humanas. Anais de eventos em subreas distintas so to diferentes entre si que por vezes um membro de uma subrea tem dificuldade em entender o jargo ou mesmo a metodologia da outra. Cincia exata ou inexata, dura ou mole, emprica ou formal, este artigo analisa a Computao luz das cincias e do mtodo cientfico, visando esclarecer aos praticantes da Cincia da Computao a riqueza e variedade desta rea de pesquisa. Este artigo uma reflexo e por isso no segue a formatao normal de artigos de pesquisa. No h tambm a pretenso de que este seja um estudo completo e definitivo sobre o assunto. Seu objetivo explorar e levantar questes, e refletir sobre elas mais do que respond-las. II. A COMPUTAO E A CLASSIFICAO DAS CINCIAS

Raul Sidnei Wazlawick possui Bacharelado em Cincia da Computao pela Universidade Federal de Santa Catarina (1988), Mestrado em Cincia da Computao pela Universidade Federal do Rio Grande do Sul (1990), Doutorado em Engenharia de Produo pela Universidade Federal de Santa Catarina (1993) e Ps-Doutorado pela Universidade Nova de Lisboa (1998). Atualmente Professor Associado III da Universidade Federal de Santa Catarina e Conselheiro Suplente da Sociedade Brasileira de Computao. ExDiretor Acadmico do Campus de Ararangu da UFSC, ex-representante do Brasil no Comit Tcnico de Educao (TC3) da International Federation for Information Processing (IFIP), e ex-Chair do Working Group on ICT and Higher Education (WG3.2) da IFIP. Foi coordenador do Mestrado em Cincia da Computao da UFSC de 2004 a 2007 e coordenador do Bacharelado em Cincia da Computao da UFSC entre 1995 e 1997. autor do livro Anlise e Projeto de Sistemas de Informao Orientados a Objetos, publicado em 2004 pela Elsevier, elaborado a partir de quase 20 anos de experincia acadmica e de consultoria empresarial na rea e autor do livro "Metodologia de Pesquisa para Cincia da Computao", Elsevier, 2009. Tem experincia na rea de Engenharia de Software, atuando principalmente em sistemas orientados a objetos e sistematizao do processo de desenvolvimento de software (UML e UP). Foi membro da Comisso de Especialistas de Ensino em Cincia da Computao do MEC, coordenador da Comisso Especial de Informtica na Educao da SBC e coordenador de vrios eventos nacionais e internacionais, incluindo o Congresso da SBC (2002), o Simpsio Brasileiro de Engenharia de Software SBES (2006) e o IFIP World Conference on Computers in Education (2009). Criou e foi editor da Revista Brasileira de Informtica na Educao da SBC entre 1997 e 2001. Orientou teses de doutorado, mestrado e trabalhos de graduao. Participa dos comits de programa de dezenas de eventos cientficos nacionais e internacionais.

Segundo a Wikipedia (1), a Cincia o esforo para descobrir e aumentar o conhecimento humano de como a realidade funciona. Assim, o termo Cincia exclui vrias atividades humanas como, por exemplo, o desenvolvimento tecnolgico, como ser visto mais adiante. Uma das ferramentas usuais dos cientistas a anlise, atravs da qual o universo pode ser dividido e dessa forma suas partes explicadas de forma mais compreensvel. Assim, face variedade de abordagens, vrias classificaes das cincias foram produzidas no sentido de tentar melhor entender seus mtodos e objetivos. A. Cincias Formais e Empricas Um dos critrios mais conhecidos de classificao das cincias o que distingue as cincias em formais e empricas (2). Pode-se dizer que as cincias formais estudam as ideias, enquanto as cincias empricas estudam as coisas.

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

As cincias formais, ento, estudam as ideias independentemente de sua aplicao natureza ou ao ser humano. Isso no quer dizer que no possam ser aplicadas, e usualmente o so, mas o objeto de estudo dessas cincias est na forma, ou seja, nos processos puramente lgicos ou matemticos. So citadas entre as cincias formais a Lgica, a Matemtica, a Microeconomia, a Estatstica e os aspectos formais da Lingustica. Dentre as subreas da Computao encontram-se vrias cincias formais: a teoria dos algoritmos, envolvendo as tcnicas de programao, estruturas de dados, complexidade e decidibilidade, a teoria das linguagens formais, utilizada na construo de compiladores, os aspectos formais da inteligncia artificial, o clculo relacional em banco de dados etc. As cincias empricas so tambm chamadas por vezes de cincias reais ou factuais. Elas estudam os fenmenos que ocorrem no mundo real e que, portanto, no so meramente formais. Elas obrigatoriamente devem fazer uso de observaes para fundamentar suas descobertas. Nas cincias empricas uma teoria bonita que no encontra respaldo em observaes no tem nenhum valor. As cincias empricas ainda podem ser divididas em dois grupos: aquelas que estudam a natureza, ou cincias naturais, e aquelas que estudam o ser humano e suas interaes, ou cincias sociais (3). As cincias naturais estudam o universo em seus aspectos que independem da existncia ou da ao do ser humano. Dentre elas encontram-se a Astronomia, a Fsica, a Qumica, a Biologia e as Cincias da Terra. Os aspectos da Computao relacionados s cincias naturais usualmente tm relao com o hardware das mquinas que efetuam computaes. A eletrnica, os circuitos lgicos, os processadores, enfim todos os componentes fsicos de um computador so estudados como fenmenos naturais. Uma Mquina de Turing (4), por exemplo, um processador ideal, com memria infinita e estudada na teoria da computao como um artefato formal. J os processadores reais tm limitaes fsicas de espao e velocidade e, assim, so estudados como fenmenos naturais. As cincias sociais estudam os aspectos das relaes humanas, ou seja, da vida social dos indivduos. Entre as cincias sociais encontram-se a Antropologia, a Comunicao, a Economia, a Histria, a Poltica, a Psicologia e a Sociologia, entre outras. As subreas da Computao mais prximas das cincias sociais so a informtica na educao, os sistemas de comrcio eletrnico, certos aspectos da inteligncia artificial, que estuda as interaes sociais dos sistemas multiagentes baseando-se em observaes do comportamento humano em sociedade, etc. Assim, observa-se que, dadas estas formas de classificao das cincias, encontram-se subreas da Computao em todas elas. Isso sem falar das reas multidisciplinares, que efetivamente fazem a interao da Computao com outras cincias, como Economia, Medicina, Geografia, etc. Existem tanto situaes nas quais a Computao aplicada para promover estudos em outras reas, como o caso de sistemas de

georreferenciamento, quanto situaes nas quais conhecimentos de outras reas so aplicados na Computao, como no caso de redes neurais e algoritmos genticos, ambos os mecanismos computacionais inspirados na Biologia. B. Cincias Puras e Aplicadas Outra classificao das cincias deriva da forma como seus estudos so aplicados. De acordo com esta classificao existem as cincias puras e as aplicadas (5). As cincias puras, ou cincias fundamentais estudam os conceitos bsicos do conhecimento sem preocupao com sua imediata aplicao. Isso no quer dizer que no sejam cincias empricas. Podem ser empricas ou formais. Ser bsico aqui significa estar mais interessado nos fundamentos, nas leis que regem os fenmenos fsicos ou as ideias. A Cosmologia considerada uma cincia bsica por excelncia, j que estuda a formao do universo sem preocupao explcita com aplicaes prticas. Mas a Cosmologia uma cincia emprica, porque suas teorias precisam ser validadas pela observao de fenmenos. Em alguns casos, os fenmenos foram observados antes de uma teoria coerente existir, como no caso do movimento das estrelas e planetas. Em outros casos, a teoria surgiu antes da observao do fenmeno, como no caso dos buracos negros, que s foram efetivamente observados dcadas depois de terem sido previstos. J a Lgica pode tambm ser considerada uma cincia bsica, mas formal, visto que estuda as relaes entre ideias e no entre coisas fsicas. O aspecto de cincia bsica da Computao difcil de identificar visto que a maioria dos resultados em Computao possui aplicao prtica. Ento, talvez este aspecto esteja mais ligado inteno do pesquisador do que a uma subrea especfica. Um exemplo claro de pesquisa bsica que s veio a produzir aplicaes prticas posteriormente foi a Teoria do Caos (6), que evoluiu a partir de observaes de fenmenos obtidos com ferramentas computacionais. Outra subrea da Computao que apresenta forte caracterstica de cincia bsica o estudo de sistemas multiagentes e tambm a rea conhecida como mattica computacional (7), ou seja, o estudo da aprendizagem humana simulada por computadores. O objetivo destas subreas costuma ser entender como os processos sociais ou de aprendizagem ocorrem entre seres humanos a partir da elaborao e teste de modelos computacionais que incorporam teorias que tentam explicar alguns fenmenos. As cincias aplicadas por outro lado, visam realizao de descobertas que possam ser imediatamente aplicadas a algum processo industrial ou assemelhado, visando produzir algum tipo de ganho. As engenharias em geral podem ser enquadradas nesta classificao. A Computao muitas vezes vista como uma disciplina de engenharia. Existe a engenharia de software, a engenharia de computao e a engenharia de computadores, cada qual com um objetivo diferenciado, mas sendo que todas tm em comum a produo de conhecimento para aplicao em processos de produo de software, sistemas ou hardware. A cincia aplicada muitas vezes confundida com a

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

tecnologia. Mas, como ser visto adiante, so coisas distintas. C. Cincias Exatas e Inexatas Outra classificao caracteriza as cincias em exatas e inexatas (8). A Cincia da Computao normalmente classificada entre as cincias exatas, mas algumas subreas podem ter caractersticas totalmente diferentes. As cincias exatas so aquelas cujos resultados so precisos. Suas leis so altamente preditivas e previsveis. Experimentos podem ser repetidos inmeras vezes produzindo o mesmo resultado ou resultados estatisticamente previsveis. So classificadas dentre as cincias exatas a Matemtica, por excelncia, mas tambm a Fsica, a Qumica e partes de algumas cincias naturais e sociais. As cincias inexatas so aquelas que podem prever comportamentos gerais de seus fenmenos, mas cujos resultados nem sempre so os esperados. Isto usualmente ocorre porque muito difcil avaliar todos os dados que produzem os resultados. Entre as cincias inexatas pode-se classificar a Meteorologia, a Economia e a maioria das cincias sociais. A Computao, assim como as outras cincias exatas, tambm tem aspectos inexatos. Algoritmos genticos e alguns modelos de redes neurais so capazes de produzir resultados inesperados mesmo quando aplicados repetidamente a um mesmo conjunto de dados. D. Cincias Duras e Moles Uma classificao, talvez menos conhecida, divide as cincias em duras e moles (9). Essa classificao tem relao com o rigor do mtodo utilizado. As cincias duras ento seriam aquelas que usam de rigor cientfico em suas observaes, experimentos e dedues. Quando as cincias duras so formais, elas utilizam fortemente a Lgica e a Matemtica como ferramentas de construo terica. J as cincias duras naturais dependem muitas vezes de comprovao estatstica para dar credibilidade a seus experimentos. A pesquisa mdica pode ser classificada neste sentido como uma cincia dura natural, pois exige grande rigor na comprovao de resultados empricos. J as cincias moles costumam aceitar evidncias baseadas em dados anedotais, ou seja, em estudos de caso. Isso ocorre quando difcil ou impossvel conseguir realizar experimentos totalmente controlados. Normalmente entende-se a Computao como uma cincia dura, mas a realidade ainda, em muitos casos que os pesquisadores tm dificuldade em providenciar dados em quantidade suficiente para dar suporte emprico a suas concluses. Assim que se vem ainda muitos artigos em Computao que utilizam um ou alguns poucos estudos de caso para tentar validar uma tcnica, modelo ou teoria. Como visto adiante, o estudo de caso uma excelente fonte de dados para uma pesquisa exploratria, mas, a no ser no caso de contradio de uma teoria comumente aceita, o estudo de caso no valida a hiptese em estudo.

E. Cincias Nomotticas e Idiogrficas A grande maioria das cincias nomottica, visto que estudam fenmenos que se repetem e que podem levar descoberta de leis gerais que permitem fazer previses. Mas algumas cincias so idiogrficas, visto que analisam fenmenos nicos que no se repetem, mas que tm, mesmo assim, validade como campo de estudo (10). A Histria o grande exemplo de cincia idiogrfica, visto que os fatos nunca se repetem e que extremamente difcil, seno impossvel, encontrar padres suficientemente determinsticos na histria que permitam fazer previses a partir de observaes. Em Computao, poucas subreas so idiogrficas. Em especial, o estudo da prpria histria da computao e o desenvolvimento de determinadas tecnologias, como linguagens, paradigmas e arquiteturas computacionais, podem ser tratadas desta forma. III. O MTODO CIENTFICO Vrias correntes filosficas influenciaram aquilo que hoje se conhece como Cincia. Essas correntes so analisadas nas prximas subsees. O mtodo cientfico particularmente importante em Computao porque como Cincia ela no pode se ocupar apenas da coleta de dados. A explicao dos dados muito mais importante. No basta, por exemplo, para provar a eficcia de um sistema, aplic-lo em dois grupos, um de teste (A) e um de controle (B), e concluir que a mdia do grupo A foi maior do que a mdia do grupo B. Primeiro porque seria necessrio demonstrar que a diferena entre as mdias no apenas fruto da casualidade. Certa feita um aluno aplicou um questionrio a cinco pessoas. Trs responderam sim e duas no. O aluno concluiu que havia uma tendncia para o sim (60% de respostas sim). Mas que valor tem essa concluso? Ele poderia vender a um jornal os resultados de uma pesquisa de opinio eleitoral, por exemplo, baseada em 5 entrevistas? Mesmo considerando que a diferena entre as duas mdias seja significativa, essa constatao pouco valor ter sem uma teoria que explique o porqu dessa diferena. Se um grupo usou um software educacional e outro no e o grupo do software educacional foi melhor na avaliao isso prova o qu? Pode ser que o software tenha melhorado a aprendizagem? Sim. Mas tambm pode ser que os alunos que usaram o software simplesmente tenham estudado mais por vergonha de tirarem notas mais baixas que os outros que no usaram o software. Pode ser tambm que o grupo que no usou o software se sentiu desprestigiado e se interessou menos pelo assunto. Ou seja, vrias explicaes podem existir. Cabe ao pesquisador descobrir a mais provvel de acordo com o mtodo cientfico. A. Empirismo, Positivismo e Pragmatismo Talvez a mais importante de todas as influncias ao mtodo cientfico tenha sido o empirismo1, que estabelece que toda teoria cientfica seja objetiva, baseada em observaes que podem ser testadas e produzindo leis gerais com poder
1

John Locke (1632-1704) considerado o primeiro filsofo empirista.

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

preditivo. Desta forma, qualquer teoria cientfica pode ser verificada luz da evidncia emprica e, quando no explica adequadamente os fatos observveis, pode ser contradita. O positivismo2 prope que a Cincia deva se basear apenas em valores humanos, deixando a teologia, o misticismo e a metafsica em outra esfera que no deve interferir nas observaes e teorias cientficas. Assim, no caso das duas turmas que usaram o software educacional, como mencionado acima, uma teoria cientfica no poderia considerar que os bons espritos ajudaram os alunos que usaram o software. Isso no Cincia. O pragmatismo3 uma corrente filosfica que se contrape ao realismo cientfico. Os realistas defendem que a Cincia, de fato, descreve a realidade. J os pragmticos assumem que no possvel saber exatamente o que a realidade e que assim, a Cincia explica apenas os fenmenos observados e suas previses so consistentes e teis. Uma coisa que a maioria dos cientistas empricos no admite o conhecimento absoluto. Toda teoria, toda explicao relacionada aos fenmenos observados sempre aceita por ser coerente com estes ltimos. Mas toda teoria sujeita a ser contradita ou refutada por observaes novas que no sejam coerentes com ela. At as explicaes mais fundamentais podem ser refutadas caso no sejam coerentes com as observaes empricas. Isso porque a Cincia, de acordo com o pragmatismo, no faz declaraes sobre a natureza como ela , mas sim declaraes sobre nossas observaes a respeito da natureza. Um cientista deve estar sempre atento aos resultados de suas observaes. Em Computao, como em outras reas, encontrar fenmenos que no se encaixam nas explicaes correntemente aceitas pode ser a chave para novas descobertas. B. Objetividade Outra caracterstica patente ao mtodo cientfico a objetividade, ou seja, a possibilidade de que duas pessoas quaisquer com um nvel aceitvel de competncia possam chegar s mesmas concluses ao analisarem os dados. O critrio de objetividade coloca de lado, ento, as opinies em Cincia, porque opinies so subjetivas e dependem da experincia, carter e motivao das pessoas que as emitem. Por exemplo, um programador poderia afirmar que programao funcional melhor do que programao imperativa. Mas, sem uma medida objetiva que defina quantitativamente o que significa ser melhor, essa opinio poderia ser contestada por outros programadores. O embate de opinies at pode ser saudvel, mas dificilmente se faz Cincia com questes subjetivas, como julgamento ou preferncias. A Computao tambm no fundamenta suas pesquisas no princpio da autoridade. Por isso, talvez, artigos publicados em Computao faam pouco uso de citaes de autoridades clssicas. Usualmente, artigos em Computao apresentam conceitos obtidos na literatura, trabalhos correlatos tambm obtidos na literatura, dentre os mais recentes, e um trabalho
2 Auguste Compte (1798-1857) considerado fundador da Sociologia e do positivismo. 3 John Dewey (1859-1952) foi um filsofo com grande influncia no pensamento pragmtico.

objetivo, empiricamente avaliado. Assim, as opinies pouco valor tero frente anlise dos dados. Alm disso, um princpio bastante saudvel em pesquisa que se faam leituras crticas, mesmo dos trabalhos mais consagrados. Uma leitura com o nico objetivo de aprender pode ser positiva, mas uma leitura crtica, na qual se duvida, a princpio, daquilo que o autor afirma, pode gerar muito mais ideias de pesquisa. C. Induo O mtodo cientfico tambm sustenta como um de seus princpios que uma situao que se sustenta em todos os casos observados se sustenta em todos os casos, at prova em contrrio. Isto conhecido como princpio da induo (11). No h motivos, a priori, para acreditar que leis induzidas a partir de repetidas observaes tenham excees, a no ser que esta exceo seja efetivamente observada, ou que algum outro conhecimento possa apontar a possibilidade de sua existncia. Por exemplo, como nunca foram observados cavalos voadores (pelo menos por fontes fidedignas), e nem existem conhecimentos que poderiam indicar sua existncia, no h motivos para acreditar que eles existam. Isso no quer dizer que se uma pessoa s viu cisnes brancos, no existam cisnes negros. Essa pessoa poder aceitar inicialmente o fato de que todos os cisnes so brancos. Mas se tiver contato com um cisne negro, ela dever imediatamente abandonar esta teoria. Assim, a induo natural s pode ser aplicada como princpio cientfico quando for efetivamente coerente com outros conhecimentos e observaes feitas. Em Computao, como nas cincias formais, a induo matemtica (12) bastante usada. Neste caso, a prova formal. Quando se deseja demonstrar que um conjunto virtualmente infinito de objetos apresenta certa propriedade, pode-se fazer isso por induo matemtica, desde que se consiga definir uma regra que permita gerar todos os elementos do conjunto. Neste caso, deve-se provar que a propriedade vale para um elemento inicial (que no gerado a partir de outros) e tambm se deve provar que a regra de gerao preserva a propriedade, ou seja, se um elemento n apresenta a propriedade, ento o elemento n+1, gerado pela regra, tambm vai necessariamente apresentar a propriedade. Se essas duas provas forem realizadas, ento se pode concluir, formalmente, que todos os elementos apresentam a propriedade. Dependendo da propriedade avaliada, porm, deve-se tomar certo cuidado, pois algumas delas so difusas (13). Por exemplo, pode-se admitir que uma criana recm nascida seja jovem. Se uma pessoa jovem, admite-se que somar um dia sua idade no far com que ela deixe de ser jovem. Assim, poder-se-ia concluir que as pessoas de qualquer idade so jovens. A falha deste raciocnio est na definio do ser jovem, que difusa. A induo estrutural (14) um caso mais geral, do qual a induo matemtica uma especializao. A induo estrutural necessria quando existe mais de uma regra para formar os elementos. Esse princpio pode ser aplicado, entre outras coisas, em teste de software. Se um objeto criado de forma consistente com sua especificao e se as operaes que alteram este 6

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

objeto preservam sua especificao, ento o objeto sempre estar consistente. D. Refutao O princpio da refutao (15) ou contradio de uma teoria estabelece que qualquer teoria cientfica que procura explicar fatos observveis est sempre aberta para ser invalidada, caso ela no seja capaz de explicar novos observveis. Um estudo de caso, enquanto pesquisa exploratria, por exemplo, no pode provar uma regra geral. Mas pode provar que uma regra geral comumente aceita no totalmente vlida. Isso acontece se o estudo de caso aponta alguma situao na qual a regra no apresenta o resultado esperado. Normalmente o estudo de caso dever ter j de antemo alguma hiptese a ser analisada, para que o pesquisador o realize com um objetivo em mente. Mas o fato de se encontrar novos observveis inexplicados pela lei geral no significa necessariamente que a lei deva ser integralmente descartada. Por exemplo, apesar da Teoria da Relatividade, a fsica de Newton ainda explica muito bem os fenmenos que ocorrem na superfcie da Terra. Assim, quando novos observveis contradizem uma teoria pode-se tanto descartar a teoria original, substituindo-a por outra totalmente nova, quanto diferenciar a teoria original em duas teorias com aplicaes em subcasos especficos. E. Coerentismo O princpio do coerentismo (16) est altamente ligado com a filosofia do pragmatismo. Ento, em nenhum momento o cientista vai afirmar que sua teoria explica a realidade. Ele s pode afirmar que sua teoria coerente com as observaes, e que pelo princpio da induo, na falta de refutao, essa teoria pode ser aceita como uma explicao. O coerentismo evita o problema do critrio de Descartes (17) no qual, qualquer afirmao precisa ser justificada com base em outras afirmaes, levando a uma regresso infinita. Com o coerentismo, o que se espera no que cada afirmao tenha uma explicao, mas que ela seja coerente com um sistema de conhecimentos previamente aceito. F. Lmina de Occam Uma questo que ficaria sem resposta sem o princpio da lmina de Occam (18) o fato de que qualquer conjunto finito de observveis pode ter infinitas teorias explicativas, especialmente se as variaes entre as teorias no puderem ser imediatamente testadas empiricamente. Por exemplo, a teoria que diz que a acelerao da gravidade de cerca de 9,8 m/s2 pode ter infinitas variaes se forem introduzidas adies como exceto em 10 de janeiro de 2070, quando ser de 9,6 m/s2. Como no possvel testar essa teoria antes de 2070 tanto ela quanto a lei mais comumente aceita so explicaes igualmente plausveis. O princpio da lmina de Occam diz que no caso de vrias teorias que explicam as mesmas observaes, deve-se preferir a mais simples dentre elas4. A mais simples ser aceita como a mais correta. No exemplo acima, a teoria alternativa no pode ser testada antes de 2070, mas a adio que ela coloca na
4 A afirmao original de W. Ockham teria sido Numquam ponenda est pluralitas sine necessitate, ou seja, nunca use mais do que for realmente necessrio.

teoria geral gratuita e no tem fundamento em nenhuma explicao ou causa plausvel. Alm disso, ela no coerente com as observaes e o conhecimento geral sobre o funcionamento da gravidade. Sem uma regra como a Lmina de Occam no seria possvel fazer Cincia. Porm, algumas vezes essa regra pode ser mal usada. Ela no diz que a explicao mais simples sempre prefervel. Na verdade a explicao mais simples dentre aquelas que efetivamente explicam os observveis, deve ser preferida em detrimento de outras. IV. CLASSIFICAO DOS MTODOS DE PESQUISA O termo pesquisa pode referir-se a diversas atividades humanas que vo desde a realizao de pesquisas eleitorais at a pesquisa cientfica que busca aumentar o conhecimento humano sobre como o mundo funciona. A pesquisa, no contexto cientfico, tambm pode ser classificada de acordo com diferentes critrios. Entre eles, possvel diferenciar tipos de pesquisa de acordo com sua natureza, objetivos ou procedimentos tcnicos. Nem sempre um trabalho de pesquisa limita-se a um nico tipo. Alm disso, alguns tipos de pesquisa podem servir de base para outros. A. Quanto natureza Quanto natureza da pesquisa, esta pode ser diferenciada em trabalho original e survey. O trabalho original busca apresentar conhecimento novo a partir de observaes e teorias construdas para explic-lo Assume-se a nova informao como relevante quando ela tem implicao na forma como se entende os processos e sistemas, ou quando ela tem implicao prtica na sua realizao. J os surveys buscam apenas sistematizar uma rea de conhecimento, usualmente indicando sua evoluo histrica e estado da arte. Embora se diga que o survey um trabalho no original e, portanto, adequado aos cursos de graduao, deve-se considerar que bons surveys s podem ser feitos por autoridades em uma rea de pesquisa. Para que um survey seja efetivamente relevante necessrio que o autor tenha um conhecimento slido da rea e seu desenvolvimento, bem como dos problemas em aberto. Alm disso, espera-se que o autor seja capaz de indicar causas e efeitos que vo alm daquilo que se pode ler explicitamente nos artigos publicados, visto que muitas vezes as motivaes para uma rea evoluir em uma certa direo so implcitas. Espera-se tambm que o autor de um survey seja capaz de apresentar uma estrutura coerente para essa evoluo, e no apenas uma linha cronolgica de fatos isolados. B. Quanto aos Objetivos Em relao aos objetivos, a pesquisa pode ser exploratria, descritiva ou explicativa. A pesquisa exploratria aquela em que o autor no necessariamente tem uma hiptese ou objetivo definido em mente. Ela pode ser considerada muitas vezes como o primeiro estgio de um processo de pesquisa mais longo. Na pesquisa exploratria o autor vai examinar um conjunto de fenmenos buscando anomalias que no sejam ainda 7

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

conhecidas e que possam ser, ento, a base para uma pesquisa mais elaborada. A pesquisa descritiva mais sistemtica do que a exploratria. Com ela, busca-se obter dados mais consistentes sobre uma determinada realidade. Mas no h, ainda, uma interferncia do pesquisador ou a tentativa de obter teorias que expliquem os fenmenos. Tenta-se apenas descrever os fatos como so. A pesquisa descritiva caracterizada pelo levantamento de dados e pela aplicao de entrevistas e questionrios. Assim como a pesquisa exploratria, ela pode ser considerada como um passo prvio para encontrar fenmenos no explicados pelas teorias vigentes. A pesquisa explicativa a mais complexa e completa. a pesquisa cientfica por excelncia porque, alm de analisar os dados observados, ela busca suas causas e explicaes, ou seja, os fatores determinantes destes dados. C. Quanto aos Procedimentos Tcnicos Quanto aos procedimentos tcnicos, a pesquisa pode ser classificada em bibliogrfica, documental, experimental, de levantamento ou ainda como pesquisa-ao. A pesquisa bibliogrfica implica no estudo de artigos, teses, livros e outras publicaes usualmente disponibilizadas por editoras e indexadas. A pesquisa bibliogrfica um passo fundamental e prvio para qualquer trabalho cientfico, mas ela, em si, no produz qualquer conhecimento novo. Ela apenas supre ao pesquisador informaes pblicas que ele ainda no possua. A pesquisa documental, por outro lado, consiste na anlise de documentos ou dados que no foram ainda sistematizados e publicados. Podem-se examinar relatrios de empresas, arquivos obtidos em rgos pblicos, bancos de dados, correspondncias etc. Ou seja, a pesquisa documental busca encontrar informaes e padres em documentos ainda no tratados sistematicamente. Pesquisar por padres, por exemplo, em documentos de requisitos elaborados por empresas de desenvolvimento de software seria um exemplo de pesquisa documental em Computao. A pesquisa experimental caracteriza-se pela manipulao de um aspecto da realidade pelo pesquisador. O pesquisador introduz, por exemplo, uma nova tcnica em uma empresa de software e observa se a produtividade aumenta. A pesquisa experimental implica em se ter uma ou mais variveis experimentais que podem ser controladas pelo pesquisador (o fato de usar, ou no, determinada tcnica, por exemplo), e uma ou mais variveis observadas, cuja medio poder levar, possivelmente, concluso de que existe algum tipo de dependncia com a varivel experimental (por exemplo, avaliar a produtividade dos programadores em pontos de funo por dia de trabalho, e verificar se a tcnica aumenta significativamente esse valor). A pesquisa experimental deve utilizar rigorosas tcnicas de amostragem e testes de hipteses para que seus resultados sejam estatisticamente aceitveis e generalizveis (19). Em algumas reas da Computao difcil realizar pesquisa experimental seja pela dificuldade em se manipular ou medir as variveis, seja pelo tempo que as intervenes podem levar. Nestes casos, pode-se fazer pesquisa de levantamento, na qual os dados existentes sero buscados diretamente no ambiente, atravs de observaes, medies, questionrios e entrevistas.

Depois de tabuladas estas informaes podem ser tomadas concluses sobre causas e efeitos. A pesquisa-ao (20) menos comum em Computao, mas possvel. Nela o pesquisador interage com os pesquisados envolvendo-se no trabalho de pesquisa de forma participativa buscando um determinado resultado. V. CINCIA E TECNOLOGIA Em Computao os termos Cincia e Tecnologia quase sempre andam to juntos que muitas pessoas tm dificuldade em distingui-los. Porm, a Cincia a busca pelo conhecimento e pelas explicaes. A Cincia constri teorias para explicar os fatos observados. J a Tecnologia a aplicao dos conhecimentos nas atividades prticas, como, por exemplo, as atividades industriais e econmicas. Ao contrrio da Cincia, a tcnica no tem por vocao explicar o mundo. Ela prtica e existe para transformar o mundo, no para teorizar sobre ele. Observa-se que, algumas vezes, dissertaes e teses em Computao, bem como artigos cientficos, ainda so fortemente caracterizados como apresentaes tcnicas: sistemas, prottipos, frameworks, arquiteturas, modelos, processos, todas essas construes so tcnicas e no necessariamente Cincia. Para que um trabalho seja efetivamente de cunho cientfico necessrio que a informao contida nele explique um pouco mais sobre o porqu das coisas funcionarem como funcionam. Ento, a Cincia pode estar presente em ideias apresentadas em um trabalho. Usualmente, h um problema identificado para o qual ainda no se conhecia uma soluo satisfatria. H tambm uma hiptese, ou seja, uma ideia que pode ser testada para resolver o problema integralmente ou parcialmente. O trabalho deve mostrar que a ideia em questo realmente vlida, empregadas as construes do mtodo cientfico que se aplicarem ao caso. O trabalho pode ser recheado de evidncias de que, de fato, o conhecimento novo est sendo apresentado. Dentre essas evidncias, podem-se mencionar estudos de caso, pesquisa bibliogrfica comparativa, pesquisa experimental etc. Alm disso, usualmente demonstra-se tambm que as novas ideias tm aplicao prtica em uma ferramenta, algoritmo, prottipo, processo etc. Desta forma, estes artefatos podem e devem ser apresentados como elementos aos quais a ideia se incorpora, ganhando vida e aplicao prtica, ou seja, realizando sua vocao tcnica. Mas a dissertao, tese ou artigo, usualmente no deveria ser sobre o artefato, mas sobre as ideias incorporadas nele. Em Computao encontram-se ainda trabalhos em diferentes nveis de maturidade cientfica. No nvel mais ingnuo esto os trabalhos que apenas apresentam uma nova tcnica ou ferramenta e uma discusso sobre suas vantagens e pontos a serem melhorados. Usualmente, no h hiptese de pesquisa nem comparao com trabalhos correlatos. Trabalhos um pouco mais maduros apresentaro algum tipo de comparao com outros artefatos e mostraro que o novo artefato de alguma maneira apresenta caractersticas que os outros no tm.

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

Trabalhos ainda mais maduros apresentam comparaes sistemticas e quantitativas, com mtricas bem definidas e experimentos repetveis e verificveis. No melhor dos casos, estes experimentos sero conduzidos com dados e testes obtidos em benchmarks internacionalmente aceitos. Finalmente, o trabalho cientfico de maior grau de maturidade em Computao, alm das evidncias empricas ir apresentar uma teoria consistente com as observaes, capaz de explicar os fenmenos e que seja coerente com o sistema de conhecimento usualmente aceito. VI. COMENTRIOS FINAIS A pesquisa em Cincia da Computao, seja qual for a subrea, deve levar o pesquisador a buscar uma contribuio para o conhecimento e no apenas apresentar novas tecnologias (embora estas tambm sejam relevantes e importantes no so necessariamente Cincia). A pesquisa deve ser realizada de acordo com os princpios do mtodo cientfico. As observaes e experimentos devem ser obtidos de forma rigorosa e repetvel, sempre que possvel. Trabalhos de iniciao cientfica, mestrado e doutorado devem, assim, produzir Cincia para serem considerados como pesquisa cientfica. Um trabalho cujo objetivo no possa ser sumarizado em poucas frases que explicam qual o novo conhecimento produzido, possivelmente tem problemas de concepo. Usualmente um trabalho cientfico se estrutura sobre um problema de pesquisa a ser resolvido (uma questo ainda no respondida satisfatoriamente) e uma hiptese (uma possvel resposta a ser avaliada). Se a hiptese for confirmada pela evidncia emprica ou formal, ento o cientista deve apresentar uma teoria que explique tal fato, usualmente como uma extenso ou alternativa a uma teoria anterior. Uma pesquisa bem sucedida possivelmente iniciar com uma reviso bibliogrfica adequada para que se conheam os principais conceitos na rea (quando o pesquisador for iniciante, ou seja, um aluno), e para que se conheam os ltimos desenvolvimentos na rea (isso em qualquer caso). Aps esta reviso, quando o pesquisador for capaz de reconhecer as questes importantes ainda no respondidas, ele poder realizar o trabalho de pesquisa iniciando, por exemplo, com um estudo de caso para que a pesquisa exploratria coloque luz novas questes e problemas. Depois de formular uma hiptese para resolver o problema indicado e uma teoria que explica porque a hiptese funciona, o pesquisador poder aplicar os mtodos empricos adequados para convencer aos demais que sua hiptese correta frente aos princpios do mtodo cientfico, isto , que ela coerente com os conhecimentos existentes e que ela suficientemente simples para ser adequada pelo princpio da lmina de Occam. evidente que a pesquisa cientfica no pode ser definida como uma receita de bolo, na qual se deve executar sempre a mesma sequncia de passos para chegar ao resultado esperado, mas espera-se sempre que ela siga determinados critrios, como os apresentados neste artigo para que seja objetiva, isto , para que outros aceitem seus resultados como vlidos independentemente de opinio ou preferncia.

Mais informaes sobre como realizar trabalhos de pesquisa cientfica em Computao podem ser encontradas no livro do autor (21). BIBLIOGRAFIA 1. Wikipedia. Cincia. Wikipedia. [Online] [Citado em: 06 de 10 de 2010.] http://pt.wikipedia.org/wiki/Cincia. 2. Morris, Charles W. The Relation of the Formal and Empirical Sciences within Scientific Empiricism. Erkenntnis. 1935, pp. 6-16. http://www.jstor.org/stable/20011733. 3. Hempel, C. G. Typological Methods in the Natural and Social Sciences. Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. New York : The Free Press, 1965, pp. 155-171. 4. On Computable Numbers, with and Application to the Entscheidungsproblem. Turing, Alan M. 1937. Proc. London Math. Soc. Vol. 1, pp. 230-265. http://plms.oxfordjournals.org/content/s2-42/1/230.extract. 10.1112/plms/s2-42.1.230. 5. Richard Gregory, Sir. Pure and Applied Science. Journal of the Royal Astronomical Society of Canada. January 1942, Vol. 36, pp. 13-16. http://adsabs.harvard.edu/full/1942JRASC..36...13G. 6. Kellert, Stephen H. In the Wake of Chaos: Unpredictable Order in Dynamical Systems. Chicago : University of Chicago Press, 1993. ISBN 0-226-42976-8. 7. Self, John. Computational Mathetics: Towards a Science of Learning Systems Design. Leeds : University of Leeds, 1995. 8. Helmer, Olaf and Rescher, Nicholas. On the Epistemology of the Inexact Sciences. Management Science. October 1959, Vol. 6, 1, pp. 25-52. http://www.jstor.org/stable/2627474. 9. Hedges, Larry V. How Hard Is Hard Science, How Soft Is Soft Science? The Empirical Cumulativeness of Research. American Psychologist. May 1987, Vol. 42, 2, pp. 443-455. 10. Windelband, Wilhelm and Oakes, Guy. History and Natural Science. History and Theory. 1980, Vol. 19, 2, pp. 165-168. Stable URL: http://www.jstor.org/stable/2504797. 11. Vickers, John. The Problem of Induction. [The Stanford Encyclopedia of Philosophy] 2006. http://plato.stanford.edu/entries/induction-problem/. 12. Pascal, Blaise. Trait du triangle arithmtique. 1665. 13. Zadeh, L. A. Fuzzy Sets. Information and Control. 1965, Vol. 8, pp. 338-353. 14. Burstall, R. M. Proving Properties of Programs by Structural Induction. The Computer Journal. 1969, Vol. 12, 1, pp. 41-48. http://comjnl.oxfordjournals.org/content/12/1/41.short. 15. Popper, Karl. The Logic of Scientific Discovery. New York : Basic Books, 1959. 16. Joachim, Harold Henry. The nature of truth:. s.l. : Clarendon Press, 1906. http://books.google.com/books?id=ogouAAAAMAAJ. 17. Descartes, Ren. Discours de la mthode pour bien conduire sa raison, et chercher la verit dans les sciences. Leiden : s.n., 1637. Texto integral em portugus: http://www.intratext.com/X/POR0305.HTM. 18. Ockham, William of. Quaestiones et decisiones in quattuor libros Sententiarum Petri Lombardi. 1495.

WAZLAWICK, R. S../ Revista de Sistemas de Informao da FSMA n 6 (2010) pp. 3 10

19. Barbetta, Pedro Alberto, Reis, Marcelo Menezes e Bornia, Antonio Cezar. Estatstica para Cursos de Engenharia e Informtica. So Paulo : Atlas, 2004. 20. Lewin, Kurt. Action research and minority problems. Journal Soc. Issues. 1946, Vol. 2, 4, pp. 34-46. 21. Wazlawick, Raul Sidnei. Metodologia de Pesquisa para Cincia da Computao. Rio de Janeiro : Elsevier, 2009.

10