MPCC 2 PDF

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.
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://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.
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).
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.
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.
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

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

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.

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

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.

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.
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.
Ex.: Medicina

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
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.
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.
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.
Pesquisa Quantitativa x Pesquisa Qualitativa
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).

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
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
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
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
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

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
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
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:
hiptese no entanto, notadamente mais difcil

Necessrio:
Amplo estudo
Reflexo
Potencialmente til:
Conhecimento
de outras
reas;
exemplo:
Presumivelmente x Reconhecidamente
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
arquivos que representa a mesma informao com menos bits e
que foi testado sobre um benchmark aceito pela comunidade
Potencialmente til:
uma outras
validaoreas;
mais estrita
do que
Reconhecidamente
Conhecimento de
exemplo:
presumivelmente.

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

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
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

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
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

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
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
Necessidade de uma hiptese
Hiptese: uma teoria provvel, mas ainda no demonstrada, ou uma
suposio admissvel
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
suposio admissvel
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:
suposio admissvel
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

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
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.
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

MPCC 2 PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

MPCC 2 PDF

Hochgeladen von

Copyright:

Verfügbare Formate

SCC 5933 - METODOLOGIA DE

Profa. Sandra M Aluisio

o conhecimento humano de como o Universo funciona.

investigao metdico e compulsoriamente realizado em acordo com

e pesquisas. (WIKIPDIA, 2015).

Face variedade de abordagens, vrias classificaes das

cincias foram produzidas no sentido de tentar melhor

Popper afirmou que a cincia um

Paradigmas da Cincia (Jim Gray on

ltima palestra no Conselho

The Coming Revolution in Scholarly

I wanted to point out that almost everything about science is

changing because of the impact of information technology.

Classificaes das Cincias*

Cincias Puras e Aplicadas

*Seo II de (WAZLAWICK, 2010).

sua aplicao natureza ou ao ser

aspectos que independem da existncia ou da ao do

interaes. Ex.: Histria, Psicologia e Sociologia.

Cincias Formais x Empricas

complexidade), teoria das linguagens formais e seus

Cincias Puras e Aplicadas

conceitos bsicos do conhecimento, sem

descobertas que possam ser imediatamente

Cincias Puras e Aplicadas

visto que a maioria dos resultados em Computao possui

Cincias Exatas e Inexatas

so precisos. Suas leis so altamente preditivas

comportamentos gerais de seus fenmenos, mas

Cincias Exatas e Inexatas

Computao tambm tem aspectos

redes neurais so capazes de produzir

Cincias Duras e Moles

rigor cientfico em suas observaes,

evidncias baseadas em estudos de caso.

fortemente a Lgica e a Matemtica como

muitas vezes de comprovao estatstica

Cincias Duras e Moles

Cincia Dura, mas a realidade ainda, em muitos casos,

dados em quantidade suficiente para dar suporte emprico a

utilizam um ou alguns poucos estudos de caso para

exploratria, mas no valida a hiptese em estudo.

Cincias Namotticas e Idiogrficas

se repetem e que podem levar descoberta

nicos que no se repetem, mas que ainda

Cincias Namotticas e Idiogrficas

exemplo, o estudo da prpria histria da

Classificaes dos Mtodos de Pesquisa

classificar pesquisas. Tipos no so mutuamente exclusivos.

Quanto natureza: Pesquisa Bsica /

Quanto natureza: trabalho original e

Quanto forma de abordagem do

Quanto aos objetivos: exploratria,

Quanto aos fins: Exploratria, Descritiva,

Quanto aos procedimentos tcnicos:

Quanto aos meios de investigao: de

Pesquisa Quantitativa x Pesquisa Qualitativa

compreendido, mas no funciona. Prtica

sabe por qu (WAZLAWICK, 2009).

Uma rea nova

da Computao uma rea

Aps 2000, definio clara das carreiras:

Estilos da Pesquisa Corrente em Computao