prof.olguin@gmail.com carlos.olguin@unioeste.br Os Estilos de Pesquisa na Computao O que pesquisa? Procurar respostas para indagaes propostas; No Michaelis, uma definio menos simplista: Busca com diligncia; indagar, inquirir, investigar; Informar-se acerca de; Fazer pesquisas. O que pesquisa? Do ponto de vista de sua natureza, dois tipos: Pesquisa bsica: tem como objetivo gerar conhecimentos novos teis para o avano da cincia, sem aplicao prtica prevista; Pesquisa aplicada: tem como objetivo gerar conhecimentos para aplicao prtica dirigidos soluo de problemas especficos. Pesquisa em Computao Cincia da Computao: rea nova e em franco desenvolvimento. Isso no justifica um mtodo cientfico especfico vago; Como a rea multidisciplinar: Discrepncia de estilos de pesquisa; Baixa conformao metodologia cientfica; Gera monografias escritas sem um embasamento metodolgico adequado. Tipos de pesquisa em CC Apesar dos estilos ainda serem variados, pode-se classificar as pesquisas realizadas em CC em 5 estilos: Apresentao de um produto. Apresentao de algo diferente. Apresentao de algo presumivelmente melhor. Apresentao de algo reconhecidamente melhor. Apresentao de uma prova. Apresentao de um Produto Uma pesquisa em que simplesmente se procura apresentar algo novo aceitvel em reas emergentes dentro da CC; Em reas novas comum pesquisas eminentemente exploratria; O resultado deste estilo seria algo como Fiz algo novo. Eis meu produto; Apenas apresentar uma ferramenta ou prottipo no suficiente, tem que ter algo a mais: Aplicar tcnicas aprendidas durante o curso em um sistema ou no processo de desenvolvimento do sistema. reas maduras podem no reconhecer pesquisas neste estilo. Apresentao de algo Diferente Estilo mais amadurecido que o anterior, consiste na apresentao de uma forma diferente de resolver um problema; Comum a reas novas; Normalmente apresentam uma simples comparao entre tcnicas, sem muito rigor cientfico na apresentao dos resultados. Comparaes normalmente mais qualitativas do que quantitativas. Apresentao de algo Diferente Exemplo em Engenharia de Software: Apresentar uma nova tcnica para realizar algo, e compar-la com outras tcnicas existentes. Utiliza-se de estudos de caso: No prova com rigor cientfico, mas uma tentativa de convencer o leitor; Mas pode provar que um mtodo consagrado falha em uma outra situao. Precisa de: Boa hiptese de trabalho; Boa teoria construda para sustent-la; Boa argumentao. Tentar convencer o leitor sem poder testar com mtodos estatisticamente aceitos. Apresentao de algo Diferente A hiptese a parte central da monografia: se for mal escolhida, o trabalho pode no alcanar seus objetivos e o aluno ser penalizado;
A hiptese ser testada durante todo o trabalho. Se confirmar-se, o trabalho um sucesso; Caso contrrio, ser necessrio tentar outra linha de pesquisa.
HIPTESE (Dic. Michaelis): 1. Suposio que se faz de alguma coisa possvel ou no, e da qual se tiram as conseqncias a verificar; 2. Conjunto de condies que se toma como ponto de partida para desenvolver o raciocnio; 3. Suposio, conjetura. Na hiptese de: caso que, no caso de. Na melhor das hipteses: nas condies mais favorveis. O risco sempre do aluno!!! Apresentao de algo Diferente Neste estilo, o ideal estruturar o trabalho na forma de uma tabela comparativa, onde o aluno mostra que o que ele est fazendo no s diferente, mas incorpora diversas caractersticas importantes em um nico artefato. Caracterstica 1 Caracterstica 2 Caracterstica 3 Caracterstica 4 Artefato 1 X X Artefato 2 X X Artefato 3 X X X Novo artefato X X X X Proposta de um novo artefato que tenha todas as caractersticas dos anteriores. Apresentao de algo Presumivelmente Melhor reas um pouco mais maduras exigem que novas abordagens sejam comparadas quantitativamente com outras j existentes; Se no h bancos de dados para testes, o prprio autor precisa criar o seu. Os testes realizados devem demonstrar que sua abordagem melhor do que as existentes; Problema 1: ter que testar a nova abordagem e as outras existentes mais trabalho; Problema 2: risco de introduzir erros. Deixar claro a forma como as tcnicas foram aplicadas mtricas claras. Apresentao de algo Presumivelmente Melhor A comparao deve ser feita com abordagens do estado da arte (5 anos, no mximo): Para comparar com uma abordagem com mais tempo (p. ex. 15 anos), deixar claro que nos ltimos 15 anos no houve avano na rea. O novo mtodo/abordagem no precisa ser melhor que outros em toda e qualquer situao pode ser melhor em determinadas situaes (deixar claro quais so elas); Mtrica: definir claramente o que e como foi medido: O sistema X mais fcil de usar o que ser mais fcil de usar? Apresentao de algo Reconhecidamente Melhor Neste estilo, o trabalho desenvolvido e seus resultados so apresentados em funo de testes padronizados e internacionalmente aceitos. Aqui, no necessrio testar outras abordagens, pois seus resultados j esto publicados; Para testar sua abordagem, so necessrios dados de entrada em um banco de dados conhecido, usar uma mtrica aceita pela comunidade da rea e apresentar seus resultados. Os experimentos podero ser reproduzidos por equipes independentes. Se for demonstrado que a nova abordagem melhor que as anteriores novo estado da arte. Apresentao de algo Reconhecidamente Melhor a pesquisa mais fcil de executar, desde que haja uma boa hiptese de trabalho. Por qu? Por que os testes-padro j esto definidos e os dados j esto disponveis; Problema: encontrar uma boa hiptese de trabalho, que faa sentido e que seja promissora o que no trivial. Exige um amplo estudo do estado da arte da rea pesquisada; Problemas em aberto so excelentes focos de ateno para pesquisa . Apresentao de uma Prova Na maioria das subreas da CC os resultados so apresentados a partir de evidncias empricas (ou argumentaes/estudo de caso) que sugerem provas; Em algumas reas (mtodos formais ou compiladores, p. ex.) so necessrios demonstraes claras de correo ou eficincia; Neste estilo de pesquisa, necessrio a construo de uma teoria: um conjunto de definies que levam a um determinado resultado. Resumo possvel classificar esses 5 estilos em 3 tipos bsicos: Pesquisas formais Exige-se a elaborao de uma teoria e uma prova formal de que essa teoria correta; Ferramenta de trabalho: lgica formal; Parecem ser mais difceis de realizar mas seus resultados, quando obtidos, so mais difceis de refutar. Pesquisas empricas Uma nova abordagem comparada com outras, atravs de testes aceitos pela comunidade; Ferramenta de trabalho: mtodos estatsticos; Pode ser refutada se no estiver bem embasada em uma boa teoria a estatstica no explica causas.
Pesquisas exploratrias No se consegue provar uma teoria nem apresentar resultados estatisticamente aceitos; Ferramenta de trabalho: argumentao e convencimento. Aqui entram: estudos de casos; anlises qualitativas; pesquisas exploratrias em reas emergentes. Parece ser a mais fcil, j que no necessrio utilizar mtodos da lgica formal nem realizar experimentos exaustivos: a mais arriscada a aceitao de argumentos no universal; Estudos de casos e exemplos podem ajudar a convencer, mas no so provas.