Académique Documents
Professionnel Documents
Culture Documents
Verifica
processo de julgar a aderncia de um sistema de informao com a sua especificao, e vali
dao o processo de julgar quo bem um sistema de informao resolve o problema para o qua
l ele foi concebido. (p. 2).
De forma anloga, a coleta de dados (preferencialmente quantitativos) sobre custos
de desenvolvimento de software [...] pode levar criao de leis gerais ou teorias em
diferentes reas da computao. E a descoberta de um fenmeno que no pode ser explicado
por essas teorias, pode levar sua substituio por outra teoria. Por outro lado, cinc
ia da computao, se for uma cincia, tem caractersticas peculiares - no s h poucas leis
computao, mas as leis que existem: tm um carter estatstico [...]; so rasas[...]; a mai
oria delas so datadas[...] . (p. 3 e 4)
A pesquisa analtica [...] o mtodo mais comum de gerar/obter conhecimento sobre prog
ramas e algoritmos. A pesquisa analtica faz algumas pressuposies sobre os dados do
programa ou sobre a mquina onde o programa vai ser executado, e prova matematicam
ente que o programa tem algumas propriedades interessantes . (p. 5).
A essncia da pesquisa quantitativa em cincia da computao verificar o quo melhor u
programa/sistema novo frente (s) alternativa(s) . (p.6).
Algumas reas da computao usam conjuntos de dados ou conjuntos de exemplos definidos
pela comunidade como forma de avaliar os programas. Tais conjuntos de dados, ou
benchmarks, devem em princpio representar a possvel diversidade dos dados reais . (p
.6).
Criar, manter, atualizar, contribuir e analisar as caractersticas de benchmarks
uma atividade que deve ser considerada como cientificamente nobre e
importante. Por exemplo, [Holte 1993] mostra que um benchmark muito usado
em aprendizado de mquina (o conjunto de dados do UCI) tinha um srio vis
- os exemplos eram muito fceis, e, portanto, quase todos as tcnicas usadas
tinham resultados muito bons nesses exemplos [...] O efeito contrrio, efeito-cho,
acontece quando os programas de benchmark so muito difceis e o desempenho
dos programas todo muito baixo. (p.7)
Em pesquisa quantitativa, assume-se que as variveis de interesse podem
ser medidas objetivamente. Mas o que medido pode variar. Por exemplo,
no caso de benchmarks descritos acima, uma medida possvel o tempo de
execuo, outra medida possvel se o programa acertou ou no a resposta.(p.8)
Testes estatsticos so procedimentos que fazem uma particular pressuposio
sobre os dados, a chamada hiptese nula, e mais uma serie de outras
pressuposies (que chamaremos de condies do teste) sobre os dados,
e calculam a probabilidade que alguma propriedade relacionada aos dados
seja verdadeira, dadas as pressuposies. (p.10)
[...]A idia por
traz da maioria dos testes estatsticos assumir que existe uma nica fonte de
dados D, e que tanto D1 como D2 so amostragens dessa mesma fonte D.(p.11)
A hiptese nula exatamente a idia de que D1 e D2 so amostragens
da mesma fonte D. Mas D1 e D2 tm algumas propriedades diferentes, por
exemplo, a mdia.
Em estatstica o que chamamos de parmetro chamado de fator, e, portanto,
o problema acima tm 2 fatores. O nmero de valores possvel para
cada valor chamado de nvel (level). (p. 14)
Questionrios so uma forma rpida e simples para avaliar as opinies,
objetivos, anseios, preferncias, crenas, etc. de pessoas. Mas por ser uma
forma simples, se malconcebida, pode levar a um vis considervel. [...] questionrios
so um conjunto de perguntas com respostas predefinidas
ou perguntas de resposta fechada (closed questions), que so respondidas,