Você está na página 1de 44

SCC 5933 - METODOLOGIA DE

PESQUISA CIENTFICA EM
COMPUTAO
A COMPUTAO E A CLASSIFICAO DAS CINCIAS
MTODOS DE PESQUISA
ESTILOS DE PESQUISAS CORRENTES EM CINCIA DA COMPUTAO

Profa. Sandra M Aluisio

Cincia
A cincia o esforo para descobrir e aumentar

o conhecimento humano de como o Universo funciona.


Refere-se tanto (ao):
investigao ou estudo racionais do Universo. Tal estudo ou

investigao metdico e compulsoriamente realizado em acordo com


o mtodo cientfico um processo de avaliar o conhecimento emprico;
corpo organizado de conhecimentos adquiridos por tais estudos

e pesquisas. (WIKIPDIA, 2015).

Face variedade de abordagens, vrias classificaes das

cincias foram produzidas no sentido de tentar melhor


entender seus mtodos e objetivos (WAZLAWICK, 2010).

http://publicationslist.org/junio

Mtodo Cientfico
O mtodo cientfico refere-se

a um aglomerado de regras
bsicas de como deve ser o
procedimento a fim de produzir
conhecimento dito cientfico, quer
seja este um novo conhecimento,
quer seja este fruto de uma
totalidade, correo (evoluo)
ou um aumento da rea de
incidncia de conhecimentos
anteriormente existentes.

O mtodo cclico de

forma a promover a
contnua evoluo
das teorias cientficas.

Popper afirmou que a cincia um


conhecimento provisrio, que
funciona atravs de sucessivos
falseamentos.

http://publicationslist.org/junio

Paradigmas da Cincia (Jim Gray on


eScience: A Transformed Scientific Method)
We have to do better at
producing tools to support the
whole research cyclefrom
data capture and data curation
to data analysis and data
visualization.

ltima palestra no Conselho


Nacional de Pesquisa (USA)
em Mountain View, CA, em
Janeiro 11, 2007
http://publicationslist.org/junio

http://research.microsoft.com/en-us/collaboration/fourthparadigm/4th_paradigm_book_jim_gray_transcript.pdf

The Coming Revolution in Scholarly


Communication
Internet can do more than just make available the full text

of research papers.
In principle, it can unify all the scientific data with all the literature to

create a world in which the data and the literature interoperate with each
other.

I wanted to point out that almost everything about science is

changing because of the impact of information technology.


Experimental, theoretical, and computational science are
all being affected by the data deluge, and a fourth, dataintensive science paradigm is emerging.
The goal is to have a world in which all of the science literature is online,

all of the science data is online, and they interoperate with each other.
Lots of new tools are needed to make this happen.

http://publicationslist.org/junio

Classificaes das Cincias*


Cincias Formais e Empricas

Cincias Puras e Aplicadas


Cincias Exatas e Inexatas
Cincias Duras e Moles
Cincias Nomotticas e Idiogrficas

*Seo II de (WAZLAWICK, 2010).

http://publicationslist.org/junio

Cincias Formais
Estudam as ideias independentemente de

sua aplicao natureza ou ao ser


humano (o que no quer dizer que no
possam ser aplicadas).
Ex.: Lgica, Matemtica.
http://publicationslist.org/junio

Cincias Empricas
Estudam os fenmenos que ocorrem no

mundo real.
Tm de fazer uso de observaes para
fundamentar suas descobertas.
Cincias Naturais: estudam a natureza em seus

aspectos que independem da existncia ou da ao do


ser humano. Ex.: Astronomia, Fsica, Qumica etc.
Cincias Sociais: estudam o ser humano e suas

interaes. Ex.: Histria, Psicologia e Sociologia.

http://publicationslist.org/junio

Cincias Formais x Empricas


E a Computao?
Cincias Formais:
Teoria dos algoritmos (estruturas de dados,

complexidade), teoria das linguagens formais e seus


autmatos, etc.

Cincias Empricas
Cincias Naturais:
Eletrnica, Circuitos Lgicos

Cincias Sociais:
Informtica na Educao, Comrcio Eletrnico, Games, Interao

Humano-Computador
http://publicationslist.org/junio

Cincias Puras e Aplicadas


Cincias puras (ou bsicas): estudam os

conceitos bsicos do conhecimento, sem


preocupao com sua imediata aplicao.
Podem ser formais (p.ex., Lgica) ou empricas
(p.ex., Cosmologia).
Cincias aplicadas: visam realizao de

descobertas que possam ser imediatamente


aplicadas a algum processo industrial ou
assemelhado, visando produzir algum tipo de
ganho. Ex.: Engenharias

http://publicationslist.org/junio

Cincias Puras e Aplicadas


E a Computao?
Cincia Pura:
O aspecto de cincia bsica da Computao difcil de identificar

visto que a maioria dos resultados em Computao possui


aplicao prtica... Mas h. P.ex., estudos de aprendizagem
humana simulada por computador (entender processos de
aprendizado via modelos que trazem teorias para explicar
fenmenos)

Cincia Aplicada:
Engenharia de Software, Informtica na Educao etc.
http://publicationslist.org/junio

Cincias Exatas e Inexatas


Cincias Exatas: so aquelas cujos resultados

so precisos. Suas leis so altamente preditivas


e previsveis.
Ex.: Matemtica, Fsica, Qumica
Cincias Inexatas: podem prever

comportamentos gerais de seus fenmenos, mas


nem sempre os resultados so os esperados.
Ex.: Meteorologia, Economia e a maioria das
Cincias Sociais

http://publicationslist.org/junio

Cincias Exatas e Inexatas


E a Computao?
Assim como outras cincias exatas, a

Computao tambm tem aspectos


inexatos.
Ex.: Algoritmos genticos e alguns modelos de

redes neurais so capazes de produzir


resultados inesperados mesmo quando
aplicados repetidamente a um mesmo conjunto
de dados.

http://publicationslist.org/junio

Cincias Duras e Moles


Cincias Duras: so aquelas que usam de

rigor cientfico em suas observaes,


experimentos e dedues.
Cincias Moles: costumam aceitar

evidncias baseadas em estudos de caso.


Isso ocorre quando difcil ou impossvel
conseguir realizar experimentos totalmente
controlado.

http://publicationslist.org/junio

Cincias Duras
Cincias duras formais: utilizam

fortemente a Lgica e a Matemtica como


ferramentas de construo terica.
Cincias duras naturais: dependem

muitas vezes de comprovao estatstica


para dar credibilidade a seus
experimentos. Exigem grande rigor na
comprovao de resultados empricos.
http://publicationslist.org/junio

Ex.: Medicina

Cincias Duras e Moles


E a Computao?
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. Precisamos de bons benchmarks!
Assim comum encontrar artigos em Computao que

utilizam um ou alguns poucos estudos de caso para


tentar validar uma tcnica, modelo ou teoria.
Estudo de caso uma fonte de dados para uma pesquisa

http://publicationslist.org/junio

exploratria, mas no valida a hiptese em estudo.

Cincias Namotticas e Idiogrficas


Cincia namottica: estudam fenmenos que

se repetem e que podem levar descoberta


de leis gerais que permitam fazer previses.
Cincia idiogrficas: analisam fenmenos

nicos que no se repetem, mas que ainda


assim tm validade como campo de estudo.
Ex: Histria. Estuda fatos que nunca se repetem.
http://publicationslist.org/junio

Cincias Namotticas e Idiogrficas


E a Computao?
Poucas reas so idiogrficas. Por

exemplo, o estudo da prpria histria da


computao e o desenvolvimento de
determinadas tecnologias, como
linguagens, arquiteturas.

http://publicationslist.org/junio

Classificaes dos Mtodos de Pesquisa


Moresi (2003) e Waslawick (2010) trazem diferentes critrios para

classificar pesquisas. Tipos no so mutuamente exclusivos.


Uma pesquisa pode ter mais de uma finalidade simultaneamente
Moresi (2003)

Waslawick (2010)

Quanto natureza: Pesquisa Bsica /


Aplicada

Quanto natureza: trabalho original e


survey.

Quanto forma de abordagem do


problema: Pesquisa Quantitativa e
Qualitativa

Quanto aos objetivos: exploratria,


descritiva ou explicativa

Quanto aos fins: Exploratria, Descritiva,


Explicativa, Metodolgica,
Intervencionista

Quanto aos procedimentos tcnicos:


bibliogrfica, documental, experimental,
de levantamento e pesquisa-ao

Quanto aos meios de investigao: de


campo, de laboratrio, telematizada,
documental, bibliogrtica, experimental,
ex post facto, participante, pesquisa-ao,
estudo de caso.

http://publicationslist.org/junio

Pesquisa Quantitativa x Pesquisa Qualitativa

http://publicationslist.org/junio

Ditado Popular
Teoria quando o fenmeno bem

compreendido, mas no funciona. Prtica


quando funciona, mas no se sabe por
qu (WAZLAWICK, 2009).
Em Computao: Nada funciona e no se

sabe por qu (WAZLAWICK, 2009).


http://publicationslist.org/junio

Uma rea nova


Cincia

da Computao uma rea


relativamente
nova
em
franco
desenvolvimento h necessidade de
embasamento metodolgico adequado

Aps 2000, definio clara das carreiras:


Bacharelado em Cincia da Computao
Bacharelado em Sistemas de Informao
Engenharia de Computao
Licenciatura em Informtica

http://publicationslist.org/junio

Estilos da Pesquisa Corrente em Computao


De acordo com Wazlawick (2009), os tipos de

pesquisa realizados em Computao correntemente


podem ser classificados nos seguintes estilos:
1. Apresentao de um produto
2. Apresentao de algo diferente
3. Apresentao de algo presumivelmente melhor
4. Apresentao de algo reconhecidamente
melhor
Nveis de
5. Apresentao de uma prova
Maturidade
Cientfica
http://publicationslist.org/junio

1. Apresentao de um produto
Simples apresentao de algo novo
Aceito apenas em novas reas de pesquisa

Difcil de comparar com outros que ainda no existem


No entanto, SEMPRE se deve comparar com alguma

coisa
Deve-se evitar, pois um tipo de pesquisa de baixa
aceitao
Em eventos cientficos, encaixam-se apenas em sesses
especiais:
Sesso de ferramentas
Sesso de trabalhos em andamento
Sesso de informtica aplicada

http://publicationslist.org/junio

2. Apresentao de algo diferente


Apresentao de uma maneira diferente de se fazer algo

Avaliao qualitativa, pouco quantitativa


Exemplo:
Uma nova tcnica de engenharia de software que no

pode ser claramente comparada com outras, pois no


h mtricas
Apresentao de estudos de caso (baixo rigor
cientfico)
Requer bons argumentos

http://publicationslist.org/junio

3. Apresentao de algo
presumivelmente melhor
Novas tcnicas devem ser comparadas com outras da

literatura
No entanto, em muitos casos, no h um benchmark sobre
o qual diferentes tcnicas possam ser comparadas
Em casos assim, o autor prope o prprio conjunto de
testes para comparao, e o aplica a todas as tcnicas:
Mais trabalhoso
Possivelmente tendencioso
necessria uma detalhada descrio de como os

experimentos foram realizados


http://publicationslist.org/junio

3. Apresentao de algo
presumivelmente melhor
Deve-se comparar a tcnica nova com tcnicas que sejam

do estado da arte; com os trabalhos mais recentes


Fazer uso de mtricas
Evitar expresses subjetivas do tipo:
O sistema fcil de usar
O algoritmo trabalha com bastante informao

http://publicationslist.org/junio

4. Apresentao de algo
reconhecidamente melhor
Comparao

da
nova
tcnica
usando-se
testes
padronizados e universalmente aceitos (benchmarks)

Comparao com os resultados j publicados em outros

trabalhos, no h necessidade de se fazer os experimentos


com todas as tcnicas alternativas - apenas com os mais
recentes
Usar a mesma mtrica e os mesmos dados

o experimento pode ser facilmente reproduzido


Com sucesso avano do estado da arte

http://publicationslist.org/junio

4. Apresentao de algo
reconhecidamente melhor
Pesquisa menos trabalhosa que exige uma boa

hiptese no entanto, notadamente mais difcil


Necessrio:

Amplo estudo
Reflexo
Problemas em aberto so bons candidatos

http://en.wikipedia.org/wiki/List_of_unsolved_problems_in_computer_science

Potencialmente til:

Conhecimento

de outras
computao bioinspirada

reas;

exemplo:
http://publicationslist.org/junio

4. Apresentao de algo
reconhecidamente melhor
Pesquisa menos trabalhosa que exige uma boa

hiptese no entanto, notadamente mais difcil


Necessrio:

Amplo estudo
Reflexo
Problemas em aberto so bons candidatos

http://en.wikipedia.org/wiki/List_of_unsolved_problems_in_computer_science

Potencialmente til:

Conhecimento

de outras
computao bioinspirada

reas;

exemplo:
http://publicationslist.org/junio

4. Apresentao de algo
reconhecidamente melhor

Presumivelmente x Reconhecidamente

Pesquisa menos trabalhosa que exige uma boa

hiptese
no entanto,
mais difcil
Presumivelmente
melhornotadamente
refere-se a comparaes
cujas mtricas
podem ser contestadas por exemplo, um algoritmo de
processamento de imagens/textos que pode ter sido beneficiado
Necessrio:
pela escolha das imagens/textos e pela escolha do pr Amplo
estudo
processamento
Reflexo
Reconhecidamente
melhor
refere-se
a
comparaes
incontestveis por exemplo, um algoritmo de compactao de
Problemas em aberto so bons candidatos
arquivos que representa a mesma informao com menos bits e
http://en.wikipedia.org/wiki/List_of_unsolved_problems_in_computer_science
que foi testado sobre um benchmark aceito pela comunidade
Potencialmente til:

uma outras
validaoreas;
mais estrita
do que
Reconhecidamente
Conhecimento de
exemplo:
presumivelmente.
computao bioinspirada
http://publicationslist.org/junio

5. Apresentao de uma prova


At

aqui: uso de evidncias empricas e de


resultados que sugerem provas

Existem

ainda, pesquisas que exigem provas


matemticas de acordo com regras de lgica
Exemplo: mtodos formais e compiladores

Deve-se desenvolver teoria cuja aplicao leva

logicamente a determinados resultados, com uma


demonstrao formal
Exemplo: para ordenao, j se provou que o
melhor custo possvel O(n log n)*
* Algoritmos que usam comparao de chaves

http://publicationslist.org/junio

5. Apresentao de uma prova


At

aqui: uso de evidncias empricas e de


resultados que sugerem provas

Existem
ainda,
pesquisas
que
Exemplo, I/O
complexity
bounds, P !=NP

exigem provas
matemticas de acordo com regras de lgica
Input/Output
Complexity
of Sorting
and Related Problems
The
Exemplo:
mtodos
formais
e compiladores
http://www.cc.gatech.edu/~bader/COURSES/UNM/ece637Fall2003/papers/AV88.pdf

Deve-se desenvolver teoria cuja aplicao leva


Tese 2010: P NP
logicamente
a determinados resultados, com uma
http://www.win.tue.nl/~gwoegi/P-versus-NP/Deolalikar.pdf
demonstrao
formal
http://www.scottaaronson.com/blog/?p=458
Exemplo: para ordenao, j se provou que o
melhor custo possvel O(n log n)*

* Algoritmos que usam comparao de chaves

http://publicationslist.org/junio

Tipos bsicos de pesquisa


Portanto, os tipos de pesquisa apresentados podem se classificados
nas seguintes categorias:
a) Exploratria: no h teoria formal nem medidas bem definidas:
estudos de caso, e anlises comparativas
Requer boa argumentao
De baixa aceitao

http://publicationslist.org/junio

Tipos bsicos de pesquisa


Portanto, os tipos de pesquisa apresentados podem se
classificados nas seguintes categorias:
a) Exploratria: no h teoria formal nem medidas bem
definidas: estudos de caso, e anlises comparativas
Requer boa argumentao
De baixa aceitao
b) Emprica: baseia-se em testes bem aceitos
Requer testes estatsticos
Pode ser questionada pois estatstica no explica causas
pede uma teoria complementar

http://publicationslist.org/junio

Tipos bsicos de pesquisa


Portanto, os tipos de pesquisa apresentados podem se
classificados nas seguintes categorias:
a) Exploratria: no h teoria formal nem medidas bem
definidas: estudos de caso, e anlises comparativas
Requer boa argumentao
De baixa aceitao
b) Emprica: baseia-se em testes bem aceitos
Requer testes estatsticos
Pode ser questionada pois estatstica no explica causas
pede uma teoria complementar
c) Formal: teoria demonstrvel
Requer lgica
Difcil de refutar

http://publicationslist.org/junio

Necessidade de uma hiptese

http://publicationslist.org/junio

Necessidade de uma hiptese

Hiptese: uma teoria provvel, mas ainda no demonstrada, ou uma

suposio admissvel

http://publicationslist.org/junio

Necessidade de uma hiptese

Hiptese: uma teoria provvel, mas ainda no demonstrada, ou uma

suposio admissvel
A hiptese o corao de um trabalho cientfico
Ser testada/colocada em prova ao longo do trabalho
Ao final, deve haver evidncias de sua validade
Deve-se demonstrar que a proposta vlida sucesso

http://publicationslist.org/junio

Necessidade de uma hiptese

Hiptese: uma teoria provvel, mas ainda no demonstrada, ou uma

suposio admissvel
A hiptese o corao de um trabalho cientfico
Ser testada/colocada em prova ao longo do trabalho
Ao final, deve haver evidncias de sua validade
Deve-se demonstrar que a proposta vlida sucesso
Uma maneira de se definir uma hiptese de trabalho por meio da
identificao das propriedades de cada uma das abordagens
existentes, propondo-se uma nova que tenha, alm das propriedades
existentes, propriedades adicionais montar uma tabela, como exemplo:

http://publicationslist.org/junio

Necessidade de uma hiptese

Hiptese: uma teoria provvel, mas ainda no demonstrada, ou uma

suposio admissvel
A hiptese o corao de um trabalho cientfico
Ser testada/colocada em prova ao longo do trabalho
Ao final, deve haver evidncias de sua validade
Deve-se demonstrar que a proposta vlida sucesso
Em se tratando de tcnica, uma maneira de se definir uma hiptese de
trabalho por meio da identificao das propriedades de cada uma das
abordagens existentes, propondo-se uma nova que tenha, alm das
propriedades existentes, propriedades adicionais montar uma tabela,
como exemplo:
Caracterstica 1
Abordagem 1

Abordagem 2

Abordagem 3
Nova Abordagem

Caracterstica 2

Caracterstica 3

Caracterstica 4

http://publicationslist.org/junio

Necessidade de uma hiptese


Nem todo trabalho tem uma hiptese definida
De fato, muitos trabalhos so desenvolvidos e defendidos

(publicados) sem uma hiptese


No entanto, a definio de uma hiptese traz muitos benefcios:
Norteia de maneira eficaz
Permite que se reflita a respeito do trabalho de maneira
mais clara
Direciona os experimentos
Indica quais trabalhos so concorrentes
Permite a anlise dos resultados de maneira mais clara
http://publicationslist.org/junio

Atividade para a prxima aula


- Checar quais tipos de pesquisa (classificao de
Wazlawick (2009)) os 5 documentos possuem
- Formular uma hiptese a respeito de seu trabalho
(no precisa ser a hiptese definitiva)
Selecionar 1 ou 2 alunos para apresentar para cada
artigo encontrado, os elementos que sustentam a
categorizao dada quele artigo.
Apresentao da hiptese para discusso.

http://publicationslist.org/junio

Bibliografia
WAZLAWICK, R.S. (2009). Metodologia de pesquisa para

Cincia da Computao, 184p. Editora Campus/Elsevier.


ISBN: 9788535235227.
WAZLAWICK., R.S., Uma Reflexo sobre a Pesquisa em

Cincia da Computao Luz da Classificao das Cincias


e do Mtodo Cientfico, Revista de Sistemas de Informao
da FSMA, No. 6, pp. 3-10, 2010. Disponvel em:
http://www.fsma.edu.br/si/edicao6/FSMA_SI_2010_2_Princip
al_1.html

http://publicationslist.org/junio