O Programa de Pós-Graduação em Ciência da Computação tem a honra de convidar toda a comunidade acadêmica para participar das Defesas de Dissertações de Mestrado abaixo relacionadas:

 
1) Aluno: Ricardo Rodrigo Marinho Melo

Matrícula: 201520070018.
Titulo: "CrowdSourcing no Desenvolvimento de Software: Caracterização da Colaboração nos Desafios da Plataforma TopCoder

Orientador: Prof. Dr. Cleidson Ronald Botelho de Souza
Data: 05/03/2018.

Hora: 10h00 

Local: LABTIC

Banca Examinadora:

  1. Prof. Dr. Cleidson Ronald Botelho de Souza - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Sandro Ronaldo Bezerra Oliveira - Membro Interno  (PPGCC/UFPA) 
  3. Prof. Dr. Rafael Prikladnicki - Membro Externo  (PUC/RS)

Resumo

Em crowdsourcing uma tarefa é divida em pequenas partes que são realizadas pela “crowd”. Crowdsourcing em engenharia de software significa que esta tarefa é uma tarefa de desenvolvimento de software. O TopCoder é maior plataforma de crowdsourcing do mundo na área de engenharia de software que realiza desafios de programação. O vencedor de um desafio recebe uma compensação financeira. Este trabalho descreve uma análise qualitativa da colaboração entre os coders que atuam na plataforma TopCoder. A análise foi feita a partir das mensagens trocadas entre os coders dos desafios que ocorreram nos meses de Julho e Agosto de 2017. Esta análise considerou dois tipos de codificação: a primeira identifica o tipo de mensagem e a segunda identifica o tema relacionado. Os resultados deste trabalho sugerem que, apesar desta ser uma competição, existem diferentes tipos de colaboração entre os coders. Estes resultados podem ser utilizados para sugerir mecanismos que permitam incentivar a colaboração dos coders na plataforma.

Palavras-Chave: Crowdsourcing. TopCoder. Análise qualitativa. Engenharia de Software

 

2) Aluno: Danileno Meireles do Rosário

Matrícula: 201520070005.

Titulo: " Uma Análise Comparativa de Transmissão de Stream de Vídeo em Flying Ad Hoc Networks em Uma Perspectiva Sobre Múltiplos Fluxos " 

Orientador: Prof. Dr. Denis Lima do Rosário
Data: 08/03/2018.

Hora: 10h00 

Local: Sala FC-02 do Instituto de Ciências Exatas e Naturais

Banca Examinadora:

  1. Prof. Dr. Denis Lima do Rosário - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Aldri Luiz dos Santos - Co-Orientador (UFPR) 
  3. Prof. Dr. Eduardo Coelho Cerqueira - Membro Interno (PPGCC/UFPA)
  4. Prof. Dr. Billy Anderson Pinheiro - Membro Externo (UFPA)

Resumo    

A experiência do usuário em assistir vídeos em tempo real transmitidos por veículos aéreos não tripulados (VANTs) deve ser satisfatória, mesmo sob a influência de alterações de topologia causadas pela mobilidade desses VANTs em Flying Ad Hoc Networks (FANETs). No entanto, um dos principais desafios para rotear pacotes em FANETs é como amenizar os efeitos da mobilidade dos VANTs para evitar falhas de comunicação, atrasos e “áreas isoladas”, o que aumenta a perda de pacotes durante as transmissões de vídeo. Desta forma, os protocolos de roteamento devem considerar um mecanismo de posicionamento de nós para encontrar a localização ideal de VANTs que atuam como nós de retransmissão e, assim, evitar os efeitos dessa mobilidade na transmissão de vídeos. Baseado em três protocolos bem conhecidos na literatura (BLR, XLinGo e MobiFANET), esta dissertação realiza uma análise comparativa de transmissão de stream de vídeos em FANETs sob uma perspectiva de múltiplos fluxos simultâneos. O objetivo é analisar a qualidade dos vídeos recebidos no destino a partir da transmissão em tempo real de múltiplos fluxos simultâneos de vídeo, ou seja, a partir de vários nós de origem, mantendo o bom desempenho da rede.

Palavras-Chave: Flying AdHoc Networks; Veículos Aéreos Não Tripulados; Posicionamento de Nós Retransmissores; Múltiplos Fluxos de Vídeo.

 

3) Aluno: Ellton Sales Barros

Matrícula: 201520070013.
Titulo: "Um Método de Classificação de Movimento Imaginado dos Braços Utilizando Emotiv EPOC+ e Openvibe". 

Orientador: Prof. Dr.Nelson Cruz Sampaio Neto
Data: 19/03/2018.

Hora: 09h30

Local: Sala FC-01 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Nelson Cruz Sampaio Neto  - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Schubert Ribeiro de Carvalho - Membro Interno (PPGCC/UFPA)
  3. Prof. Dr. Dionne Cavalcante Monteiro - Membro Externo  (FACOMP/UFPA)

Resumo

Este trabalho de dissertação mantém seu foco sobre brain-computer interfaces, processamento e classificação sinais eletroencefalográficos. O trabalho apresenta um método de classificação que tem como objetivo identificar qual membro é considerado durante a realização do movimento imaginado (MI), por exemplo, determinar se o indivíduo está imaginando o movimento do braço direito ou do braço esquerdo. Sinais de Eletroencefalografia (EEG) são utilizados como entrada para o classificador e métodos de processamento de sinais são utilizados para melhorar o resultado da classificação. O método criado tem como objetivo melhorar a acurácia da classificação desse processo através de uma análise e avaliação dos parâmetros que fazem parte das etapas de pré-processamento à classificação dos sinais de EEG. 

Palavras-Chave: Brain Computer Interface, Classificador SVM, Movimento Imaginado.

O Programa de Pós-Graduação em Ciência da Computação informa que a divulgação do Resultado Final do Processo Seletivo do Mestrado 2018.1 será no dia 28 de Fevereiro de 2018. Confira a Errata do Edital em Seleção Atual.

O Programa de Pós Graduação em Ciência da Computação tem a honra de convidar toda a comunidade acadêmica para participar da Defesa de Dissertação de Mestrado abaixo relacionada:

 
1) Aluno: Jair da Silva Ferreira Junior

Matrícula: 201520070001.
Titulo: "Análise de Perfil de Motoristas: Um Investigação com Diferentes Sensores e Técnicas de Aprendizado de Máquina"   

Orientador: Prof. Dr.Gustavo Pessin
Data: 22/02/2018.

Hora: 09h30

Local: LABCOMP I do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr.  Gustavo Pessin  - Orientador (PPGCC/UFPA)
  2. Prof. Dr.Denis Lima do Rosário - Membro Interno (PPGCC/UFPA)
  3. Profa. Dra. Marley Maria Rebuzzi Vellasco - Membro Externo  (PUC/RJ)

 

Resumo:

O comportamento do motorista afeta a segurança do tráfego, o consumo de combustível/energia e as emissões de gases dos veículos. A Análise de Perfil de Motorista (APM) tenta entender e influenciar positivamente o comportamento do motorista. Geralmente, a APM envolve a coleta automatizada de dados de condução e a aplicação de modelos de computador para gerar uma classificação que caracterize o perfil de agressividade do motorista. Diferentes sensores e métodos de classificação têm sido empregados nesta tarefa, no entanto, soluções de baixo custo e alto desempenho ainda são alvos de pesquisa. Esta dissertação apresenta duas principais contribuições. A primeira é uma investigação com diferentes sensores de smartphone Android e algoritmos de classificação, a fim de avaliar quais combinações de sensor e método permitem a classificação de eventos agressivos de condução com maior desempenho. A segunda contribuição é uma proposta de máquina de comitê composta de um subconjunto dos modelos de aprendizado de máquina investigados. Os resultados mostram que (i) combinações específicas de sensores e métodos inteligentes permitem melhorar o desempenho da classificação; e (ii) a máquina de comitê proposta tem desempenhos de classificação e de tempo superior aos melhores convencionais avaliados, tornando possível seu uso em tempo real em um smartphone.

Palavras-Chave: Análise de perfil de motoristas; aprendizado de máquina; máquinas de comitê; sensores de smartphone; smartphone de Android. 

 

2) Aluno: Aluízio Ramos Pereira Neto

Matrícula: 201620070001.
Titulo: "Um Estudo Sistemático sobre o Controle Estatístico de Processos e a Definição de um Catálogo de Abordagens". 

Orientador: Prof. Dr.Sandro Ronaldo Bezerra Oliveira
Data: 23/02/2018.

Hora: 08h00

Local: Sala FC-01 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr.  Sandro Ronaldo Bezerra Oliveira  - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Alfredo Braga Furtado  - Membro Externo (FACOMP/UFPA)
  3. Prof. Dr. Carlos dos Santos Portela - Membro Externo  (UFPA/CAMPUS DE CAMETÁ)

Resumo

O Controle Estatístico de Processos (CEP) tem sido utilizado em organizações de software (acadêmicas e industriais) para a análise dos processos fundamentais, aderentes aos objetivos estratégicos da organização. O CEP é utilizado na representação (gráficos de controle) e análise dos dados coletados (medição) dos processos da organização. Através desta análise, os desvios (falhas) dos processos são identificados e corrigidos. Assim, é definida a estabilidade e a capacidade do processo (baseline). Existem alguns estudos que falam sobre o CEP no contexto de software, entretanto, estes ainda não descrevem de forma aprofundada as abordagens relacionadas ao mesmo. O objetivo desta dissertação de mestrado é desenvolver uma Revisão Sistemática da Literatura (RSL) que identifique quais abordagens: frameworks, métodos, ativos, ferramentas que apoiam o Controle Estatístico de Processos. Com estes resultados, foi definido um catálogo de abordagens, descrevendo e exemplificando as formas de uso de cada delas. O catálogo pode auxiliar as organizações de software a compreender e aplicar melhor as abordagens nele descritas, facilitando, assim, a implementação do CEP nas organizações.

Palavras-Chave: Engenharia de Software Baseada em Evidências, Controle Estatístico de Processos, revisão Sistemática da Literatura, Catálogo de Abordagens. 

 

3) Aluno: Joahannes Bruno Dias da Costa

Matrícula: 201620070008.
Titulo: "Disseminação de Dados Baseada em Métricas de Redes Complexas para Sistemas de Transporte Inteligentes".  

Orientador: Prof. Dr. Eduardo Coelho Cerqueira

Co-Orientador: Denis Lima do Rosário
Data: 23/02/2018.

Hora: 09h00 

Local: LABCOMP 1 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Eduardo Coelho Cerqueira  - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Denis Lima do Rosário  - Co-Orientador -  (PPGCC/UFPA)
  3. Prof. Dr. Marcos Cesar da Rocha Seruffo - Membro Externo (/ITECUFPA)
  4. Pesq.Dr. Billy Anderson Pinheiro - Membro Externo (UFPA)
  5. Prod. Dr. Leandro Aparecido Villas - Membro Externo (UNICAMP)
 
Resumo

Serviços que visam tornar o sistema de transporte atual mais seguro, sustentável e eficiente constituem o arcabouço conhecido como Sistemas de Transporte Inteligentes (ITSs). Pelo fato dos serviços necessitarem de dados, comunicação e processamento para operação, as Redes Veiculares Ad-Hoc (VANETs) exercem forte influência nesse contexto, por possibilitar comunicação direta entre os veículos e, adicionalmente, que dados sejam trocados e processados entre eles. Diversos serviços em ITSs requerem informações disseminadas entre os veículos para tomada de decisões. Contudo, essa disseminação é uma tarefa desafiadora, devido características específicas das VANETs, tais como, comunicação de curto alcance e alta mobilidade dos nós, resultando em variações constantes em sua topologia. Diante dos desafios, neste trabalho é apresentado um protocolo para disseminação de dados em cenários urbanos que considera métricas de redes complexas em seu funcionamento, denominado DDRX. O DDRX toma proveito dos beacons que são trocados periodicamente na rede para coletar informações dos veículos e assim construir um grafo de diâmetro 2 para análise topográfica local da rede, onde os vértices são veículos e as arestas os links de comunicação entre veículos vizinhos. Com o grafo local criado, é possível identificar os melhores veículos para continuarem o processo de disseminação. Resultados de simulações mostram que o DDRX oferece alta eficiência em termos de cobertura, número de transmissões, atraso e colisões de pacotes em comparação aos protocolos amplamente conhecidos de disseminação de dados. Complementarmente, o DDRX oferece melhorias significativas a um sistema de gerenciamento de trânsito distribuído que necessita das informações de trânsito disseminadas de forma eficiente, possibilitando que os veículos fiquem menos tempo em congestionamentos, atinjam maiores velocidades médias e tenham menor tempo de viagem. 

Palavras-Chave: Redes Veiculares; Disseminação de Dados; Grafos.  

 

4) Aluno: Ângelo Luiz da Cruz Oliveira

Matrícula: 201620070002.
Titulo: "Uma Abordagem para a Implementação da Gestão do Conhecimento dos Resultados Esperados do MR-MPS-SW Usando a Rede Social Facebook". 

Orientador: Prof. Dr.Sandro Ronaldo Bezerra Oliveira
Data: 23/02/2018.

Hora: 10h30 

Local: Sala FC-01 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Sandro Ronaldo Bezerra Oliveira - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Alfredo Braga Furtado  - Membro Externo (FACOMP/UFPA)
  3. Prof. Dr. Carlos dos Santos Portela - Membro Externo  (UFPA/CAMPUS DE CAMETÁ)

Resumo

Estudos mostram que a falta de práticas de gestão de conhecimento em uma organização pode comprometer seus processos de negócios gerando um conjunto de problemas, entre elas a perda de produtividade e qualidade em seus serviços. Assim, muitas empresas passaram a utilizar ferramentas que apoiam estas práticas, buscando aumentar suas vantagens competitivas no mercado. Logo, este trabalho tem como objetivo apresentar uma implementação dos resultados esperados da área de Gestão de Conhecimento do MR-MPS-SW usando as funcionalidades da rede social Facebook como ferramenta de apoio a essas práticas. Neste trabalho é relatado, também, o cenário no qual foi abordada a aplicação/avaliação e os resultados obtidos durante a pesquisa. 

Palavras-Chave: Melhorias de Processos; Gestão de Conhecimento; Redes Sociais; MPS.BR. 

 

5) Aluno: Alexandre Abreu de Freitas

Matrícula: 201620070020.
Titulo: "Avaliação da Interação por Rastreamento de Cabeça em Aplicações WEB para Ambiente Desktop" 

Orientador: Prof. Dr. Bianchi Serique Meiguins
Data: 26/02/2018.

Hora: 09h30 

Local: LABCOMP 1 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Bianchi Serique Meiguins  - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Carlos Gustavo Resque dos Santos - Membro Interno (PPGCC/UFPA)
  3. Profa. Dra. Marcelle Pereira Mota - Membro Interno  (PPGCC/UFPA)
  4. Prof. Dr. Dionne Cavalcante Monteiro - Membro Externo (FACOMP/UFPA)

Resumo

Novos cenários interativos estão surgindo com o avanço tecnológico, como quiosques com displays sensíveis ao toque, aplicações de realidade aumentada e virtual, entre outros. Estes novos cenários estimulam o desenvolvimento de novos métodos de interação não convencionais, os quais fogem dos tradicionais mouse e teclado, como, por exemplo, o rastreamento de cabeça, o rastreamento dos olhos, a detecção de gestos, entre outros, que podem ser utilizados por diversos perfis de usuários, incluindo os com deficiência motora, por exemplo. Geralmente, quando estas novas tecnologias de interação são aplicadas como substitutas do mouse e teclado, e não como uma nova forma de interação, com suas particularidades e adequada de forma diferente, de acordo com o perfil do usuário e a interface. Com base neste contexto, esta dissertação busca avaliar a interação e navegação através do rastreamento de cabeça em aplicações web na plataforma desktop, incorporando uma metodologia de avaliação que combine uma análise no aspecto quantitativo e qualitativo. Foram realizados testes com algumas tecnologias de rastreamento de cabeça, e a escolhida para o desenvolvimento deste trabalho foi o software eViacam utilizando webcam comum. Serão feitos testes em web browser, com tarefas especificas de sites popularmente conhecidos, tais como: google.comyoutube.comg1.com, entre outros. A avaliação busca identificar problemas de interação com o rastreamento de cabeça com as aplicações web, assim como na organização da interface. São coletados diversos dados, como: tempo para completar tarefas, número de cliques em componentes, quantidade de entradas no componente antes de interagir com o mesmo, localização de componentes, etc. Por fim, esses dados são pré-processados e analisados em busca de padrões e outleirs para indicação de boas práticas na utilização de rastreamento de cabeça em aplicações Web. 

Palavras-Chave: Interação Por Rastreamento De Cabeça, Interação Não Convencional, Design de Interface, Interação Humano-Computador. 

 

6) Aluno: Paulo Roberto Silva Chagas Junior

Matrícula: 201620070015.
Titulo: "Avaliação de Arquiteturas de Redes Neurais Convolucionais para a Classificação de Imagens de Gráficos" 

Orientador: Prof. Dr.Jefferson Magalhães de Morais
Co-Orientador: Prof. Dr. Bianchi Serique Meiguins
Data: 26/02/2018.

Hora: 16h00 

Local: LABCOMP 1 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Jefferson Magalhães de Morais  - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Bianchi Serique Meiguins  - Co-Orientador (PPGCC/UFPA)
  3. Prof. Dr. Filipe de Oliveira Saraiva - Membro Interno  (PPGCC/UFPA)
  4. Prof. Dr. Dionne Cavalcante Monteiro - Membro Externo (FACOMP/UFPA)

Resumo

Em uma era onde a quantidade de dados disponíveis cresce continuamente, formas de representar esses dados se fazem necessárias para que o ser humano possa entendê-los e fazer inferências a partir dos mesmos. No entanto, nem sempre é possível acessar esses dados, de modo que em vários cenários somente os gráficos estão disponíveis para análise. Assim, métodos automáticos de extração de dados de imagens de gráficos se fazem necessários, permitindo um posterior tratamento desses dados recuperados. Nesse contexto, o processo de extração de dados dos gráficos pode ser dividido em duas etapas: classificação e extração. Este trabalho foca na etapa de classificação, propondo uma avaliação de Redes Neurais Convolucionais para esta tarefa. Para treinamento e teste, foi utilizada uma base de imagens geradas automaticamente e de forma aleatória, para 10 tipos de gráficos (Arco, Área, Barra, Coordenadas Paralelas, Linha, Matriz, Pizza, Scatter Plot, Sunburst e Treemap). Da mesma forma, imagens foram coletadas da internet para compor uma base de validação, de modo que se possa verificar se os classificadores conseguem generalizar os 10 tipos de gráficos de forma satisfatória treinando somente com imagens sintéticas. Para validar a metodologia proposta, testes sistemáticos foram realizados utilizando diferentes arquiteturas de Redes Neurais Convolucionais que estão presentes na literatura (VGG-19, Resnet-50 e Inception-V3), e comparando as mesmas com classificadores convencionais (K-Nearest Neighbor, Naive Bayes, Support Vector Machine e Random Forest) combinados com o método de extração de características HOG. Os resultados mostraram que os modelos Resnet-50 e Inception-V3 obtiveram as maiores acurácias na base de validação, com 77,76% e 76,77% respectivamente. Além disso, as matrizes de confusão foram analisadas a fim de verificar não só as diferenças em desempenho dos classificadores mas também como cada um se comporta para cada classe. 

Palavras-Chave: Deep Learning, Redes Neurais Convolucionais, Visualização da Informação, Imagens de Gráfico. 

 

7) Aluna: Alessandra Priscila Alves de Oliveira

Matrícula: 201520070012.
Titulo: " Um Pipeline para a Predição de Genes em Dados Metatranscriptômicos".

Orientador: Prof. Dr. Ronnie Cley de Oliveira Alves
Data: 26/02/2018.

Hora: 10h00

Local: Sala FC-01 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Ronnie Cley de Oliveira Alves - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Jefferson Magalhães de Morais  - Membro Interno (PPGCC/UFPA)
  3. Profa. Dra. Regiane Silva Kawasaki Francês - Membro Externo  (FACOMP/UFPA)

Resumo 

Através de estudos de dados metagenômicos, é possível definir quais organismos estão presentes em uma amostra e as suas atividades. Ferramentas para predição de genes em dados metagenômicos foram criadas para definir quais são os genes presentes na amostra, mas é necessário que mais ferramentas estudem os dados dos transcritos a fim de compreender o comportamento delas, como o TransGeneScan. Este artigo apresenta o GeneFinder-TR, um pipeline para predição de genes em dados metatranscriptômicos. O pipeline teve os melhores resultados em metade dos testes, obtendo até 95,14% de acurácia em suas predições. 

Palavras-Chave: Aprendizado de Máquinas, predição de genes, metatranscriptômica. 

 

8) Aluno: Kleoson Bruno Corrêa dos Santos
Mátricula: 201620070009.
Título: "REACT: Uma Abordagem Ágil de Apoio ao Processo de Desenvolvimento de Requisitos de Software  Baseado em Evidências Empíricas". 
 
Orientador: Prof. Dr.Sandro Ronaldo Bezerra Oliveira
Data: 28/02/2018

Hora: 09h00 

Local: Sala FC-01 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Sandro Ronaldo Bezerra Oliveira - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Gustavo Henrique Lima Pinto  - Membro Interno (PPGCC/UFPA)
  3. Prof. Dr. Carlos dos Santos Portela - Membro Externo  (UFPA/CAMPUS DE CAMETÁ)

Resumo
 
Nos últimos anos, a adoção e a criação de novas abordagens ágeis na indústria de software cresceu consideravelmente diante da tentativa de minimizar alguns problemas das abordagens tradicionais, bem como, alguns desafios dos próprios métodos ágeis atuais. Neste sentido, a Engenharia de Requisitos Ágil surge como uma proposta promissora, a qual utiliza as práticas, princípios e valores dos métodos ágeis para serem aplicados nas atividades da Engenharia de Requisitos. Sobre este último, destaca-se o processo de Desenvolvimento de Requisitos, uma subárea da Engenharia de Requisitos essencial para a evolução criteriosa dos requisitos ao longo de um projeto de desenvolvimento de software. Neste cenário, a finalidade deste estudo é apresentar o REACT (Requirements Evolution in Agile ContexT), uma proposta de método ágil para o desenvolvimento dos requisitos de um produto de software, totalmente fundamentado em evidências empíricas da indústria de software, nas práticas da Engenharia de Requisitos Ágil e nos resultados esperados do processo de Desenvolvimento de Requisitos constante nos modelos de qualidade MR-MPS-SW e CMMI-DEV. Estas evidências empíricas consistem de outras abordagens ágeis de apoio às atividades de Desenvolvimento de Requisitos, as quais foram identificadas e analisadas por meio de uma Revisão Sistemática da Literatura. Em posse dos resultados deste estudo secundário, o REACT foi concebido a fim de atender a todas as atividades relacionadas ao desenvolvimento dos requisitos de software de forma completa, eficiente e ágil. Esta abordagem ágil proposta foi avaliada por meio de um Estudo de Caso, conduzido em um projeto real para o desenvolvimento de um produto destinado ao ensino na área da Engenharia de Software. Dentre os resultados, em síntese, observou-se que este método ágil proporcionou mais eficiência, simplicidade, completude, flexibilidade e organização na evolução dos requisitos ao longo deste projeto. Desta forma, este estudo contribui à comunidade científica e à indústria de software fornecendo uma nova abordagem ágil específica para requisitos, bem como, inserida no contexto da Engenharia de Requisitos Ágil e dos modelos de qualidade de processos de software. 
 
Palavras-Chave: Engenharia de Requisitos Ágil, Desenvolvimento de Requisitos, Métodos Ágeis, Melhoria de Processo de Software, Revisão Sistemática da Literatura, Estudo de Caso. 
 
 
9) Aluno: Daniel Hannemann

Matrícula: 201520070015.
Titulo: "Uma Solução para a Predição do Índice Fluviométrico do Rio Amazonas em Santarém Utilizando Abordagem Neuro-Fuzzy" 

Orientador: Prof. Dr. Antônio Morais da Silveira
Data: 28/02/2018.

Hora:10:00 h

Local: Sala FC-02 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Antônio Morais da Silveira  - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Roberto Samarone dos Santos Araujo - Membro Externo (FACOMP/UFPA) 
  3. Prof. Dr. João Marcelo Brazão Protázio  - Membro Externo (PPGME/UFPA)

Resumo
 
Este trabalho apresenta uma proposta para monitoramento e previsão do nível das águas do rio Amazonas na cidade de Santarém, utilizando abordagem Neuro-Fuzzy e dados históricos sobre o ciclo anual fluviométrico. Os dados foram coletados em três estações, nas cidades de Santarém, Manaus e Itaituba, e foram filtrados ao período de março de 2003 ao final de fevereiro de 2017. Foram realizadas análises dos dados para estabelecer valores limítrofes de alertas de situações emergentes para o monitoramento da cota do rio, compreendendo cinco importantes momentos acerca dos volumes de água: seca, seca-normal, normal, normal-cheia e cheia. A série histórica pode ser considerada como confiável, uma vez que é possível identificar claramente os ciclos anuais hidrológicos dos rios. Soluções preditivas utilizando técnicas estatísticas e computacionais são capazes de automatizar tais previsões com taxas relativamente baixas de erro do nível de um rio. Com isso, considera-se que a solução proposta no presente trabalho pode ser utilizada para nortear ações que minorem os transtornos causados à população da cidade de Santarém nas situações extremas dos volumes de água do rio Amazonas. Ainda mais importante, a abordagem proposta demonstrou poder ser aplicável em qualquer ambiente com diferentes ciclos hidrológicos e, assim, possível aplicabilidade global. 
 
Palavras-Chave: Neuro-Fuzzy, ANFIS, Ciclo Fluviométrico, Rio Amazonas, Santarém. 

O Programa de Pós Graduação em Ciência da Computação tem a honra de convidar toda a comunidade acadêmica para participar da Defesa de Dissertação de Mestrado abaixo relacionadas:

1) Aluno: Cassio Trindade Batista

Matrícula: 201620070022
Titulo: "Uma Proposta de Sistema de Controle Remoto Universal e Multimodal Baseado em Movimentos da Cabeça e Comandos de Voz"

Orientador: Prof. Dr. Nelson Cruz Sampaio Neto
Data: 06/12/2017.

Hora: 09h30

Local: FC-02 do Instituto de Ciências Exatas e Naturais da UFPA.

Banca Examinadora:

  1. Prof. Dr. Nelson Cruz Sampaio Neto - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Aldebary Rodrigues Castro - Membro Externo ao Programa (UFPA)
  3. Prof. Dra. Andréa da Silva Miranda - Membro Externo à Instituição (UFRA)

Resumo:

A evolução tecnológica, num sentido amplo, caminha para que as pessoas possam interagir com os equipamentos eletrônicos de forma mais fácil. Por outro lado, para pessoas com deficiência, essa interação torna-se algo mais do que simples: ela se torna possível.  Este trabalho apresenta uma proposta de um sistema de controle remoto universal, multimodal, livre e de baixo custo que permite o controle remoto de dispositivos eletrônicos através de comandos de voz e gestos da cabeça. Além disso, um circuito sensor de proximidade foi combinado a módulos de rádio-frequência para agir, em paralelo a um comando de voz, como um acionador externo sem fio.  Dentre as aplicações encontradas a respeito de controles remotos alternativos para aparelhos eletrônicos convencionais (que recebem informação remota via luz infravermelha), nenhuma dá suporte a gestos da cabeça como entrada, tampouco à combinação deste método de interação com a voz, o que certamente seria uma opção viável para pessoas cujos membros superiores são comprometidos. Uma avaliação objetiva foi realizada especificamente sobre as técnicas implementadas como método de entrada do sistema. Como resultado, foi possível constatar muitas vantagens e algumas desvantagens em relação a metodologia proposta. Um teste subjetivo, baseado em um questionário mean opinion score, também foi aplicado com objetivo de avaliar o protótipo do sistema de modo geral, o qual mostrou grande interesse da parte dos participantes em um possível produto final. 

Palavras-Chave: Tecnologia assistiva; controle remoto universal; open-source; estimação da pose da cabeça; síntese de voz; e reconhecimento automático de voz. 

 

2) Aluno: Fernando Fabio Dias Gama da Mata

Matrícula: 201620070006
Titulo: "Investigando Métodos Inteligentes Para Detecção de Anomalias em Comportamento de Insetos Sociais".

Orientador: Prof. Dr. Gustavo Pessin
Data: 14/12/2017.

Hora: 10h00

Local: UFPA/Videoconferência. 

Banca Examinadora:

 

  1. Prof. Dr. Gustavo Pessin - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Jefferson Magalhães de Morais - Membro Interno (PPGCC/UFPA)
  3. Prof. Dr. José Reginaldo Hughes Carvalho - Membro Externo à Instituição (UFAM)
  4. Prof. Dr. Sandro José Rigo - Membro Externo à Instituição (UNISINOS)

Resumo:

Abelhas são um dos mais importantes polinizadores uma vez que auxiliam na reprodução das plantas assegurando a produção de sementes e frutos. Elas são importantes tanto na polinização quanto na produção de mel o que beneficia pequenos e grandes agricultores. No entanto, nos últimos anos, a população de abelhas vem diminuindo de maneira significativa em escala global. Neste cenário, a compreensão do comportamento das abelhas tornou-se uma questão de grande importância e preocupação na tentativa de encontrar as possíveis causas desta situação. Neste trabalho, nosso objetivo é propor, desenvolver e investigar metodologias que combinem métodos não supervisionados para detecção de anomalia baseado em distância e modelos supervisionados baseados em aprendizagem de máquina. Os resultados mostram que a combinação das técnicas permite a detecção de eventos anômalos em comportamento de insetos de forma satisfatória.

Palavras-Chave: Aprendizado de máquina; Detecção de Anomalia; Janela Deslizante; Polinização; Abelhas.

 

3) Aluno: Bruno Garcia da Costa

Matrícula: 201420070019
Titulo: "Classificação de Faltas do Tipo Curto Circuito em Linhas de Transmissão Utilizando KNN-DTW"

Orientador: Prof. Dr.Jefferson Magalhães de Morais
Data: 15/12/2017.

Hora:09:30 h

Local: LABCOMP 2 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Jefferson Magalhães de Morais - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Nelson Cruz Sampaio Neto - Membro Interno (PPGCC/UFPA)
  3. Prof. Dr. Raimundo Viegas Junior- Membro Externo (FACOMP/UFPA)

Resumo:

Os sistemas de classificação de faltas em linha de transmissão podem ser divididos em dois tipos: sistemas de classificação on-line e pós-falta. Este trabalho foca na classificação de sequências representado faltas do tipo curto-circuito em linhas de transmissão em um cenário pós-falta. Neste cenário as sequências possuem comprimento (duração) variável. Na classificação de sequência é possível utilizar classificadores convencionais tais como Redes Neurais artificiais. Neste caso, o processo de classificação requer um pré-processamento ou um estágio de front end que converta os dados brutos em parâmetros sensíveis para alimentar o classificador. Uma solução para este problema são as arquiteturas baseada em frames (FBSC). O problema da arquitetura FBSC é que esta possui muitos graus de liberdade na concepção do modelo (front end mais classificador) devendo este ser avaliado usando conjunto de dados completo e uma metodologia rigorosa para evitar conclusões tendenciosas. Alternativamente à arquitetura FBSC, este trabalho propõe o classificador K-Nearest Neighbor associado a medida de similaridade Dynamic Time Warping (DTW) denominado de KNN-DTW para classificação de faltas. Este classificador é capaz de lidar diretamente com as sequências de tamanhos diferentes, sem a necessidade do uso de um front end, diminuindo o pipeline imposto pela arquitetura FBSC. Nos experimentos foram utilizados dados simulados de faltas do tipo curto-circuito, oriundos de uma base de dados pública chamada UFPAFaults. Foi realizada uma comparação em termos de desempenho entre o classificador KNN-DTW e a arquitetura FBSC. No caso da arquitetura FBSC diferentes front ends (ex. wavelet e rms) e classificadores convencionais (ex. máquinas de vetores de suporte e redes neurais) foram testados. Os resultados obtidos indicam que o classificador KNN-DTW, mesmo em um cenário com ruído nas amostras, apresenta desempenho próximo à arquitetura FBSC, porém sem a necessidade do uso de front end o que diminui o custo computacional desse classificador.

Palavras-Chave: Sistema Elétrico de Potência, Classificação de Faltas, Arquitetura FBSC, Algoritmo KNN-DTW.

 

4) Aluno: George Hamilton Barbosa Fernandes Ota

Matrícula: 201520070029.
Titulo: "Uma Harmonização das Atividades do ITIL com Práticas do CMMI-SVC com Foco na Implementação dos Processos do Livro Service Design"

Orientador: Prof. Dr.Sandro Ronaldo Bezerra Oliveira
Data: 20/12/2017.

Hora:14 h

Local: LABCOMP 1 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Sandro Ronaldo Bezerra Oliveira - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Jefferson Magalhães de Morais - Membro Interno (PPGCC/UFPA)
  3. Prof. Dr. Alfredo Braga Furtado- Membro Externo (FACOMP/UFPA)

Resumo: 

O mercado de Tecnologia da Informação (TI) é atualmente um dos pouco que se mantiveram em expansão de 2015 à 2016 no Brasil, este fato decorre da constante atualização de seus produtos e serviços, assim como a percepção de seus clientes quanto aos benefícios estratégicos trazidos pelas ferramentas digitais que as empresas de TI podem desenvolver, comercializar e implementar. Segundo o Gatner Group, muitas empresas ainda buscam cortar custos, mas, em muitos casos, o que obtiveram com a economia nesse processo foram redirecionadas para investimento em TI, para suportar as mudança da área de negócio em base digital com melhor performance e agregado valor aos seus produtos e serviços. Provedores de serviço de TI, atendendo a este cenário, buscam obter certificações disponíveis no mercado que melhorem a credibilidade e a confiança por empresas interessadas em aquisição de produtos e serviços de qualidade. Entretanto, nem sempre uma certificação consegue atender por completo as necessidades desses provedores, levando-os a adotar inúmeras outras certificações. Quando isso acontece, surgem diversos problemas devido as diferentes estruturas e componentes dos modelos de certificações adotados, o que demanda mais tempo, além de gerar custos extras com a implantação de dois ou mais modelos de certificação. Os desafios de implementar vários modelos em uma organização podem ser contornados com uso de implementações multimodelos, de forma que as divergências entre os modelos sejam harmonizadas por meio de um mapeamento entre os modelos selecionados. Neste sentido, este trabalho apresenta uma proposta de harmonização entre as atividades dos processos do framework ITIL com as práticas específicas do modelo de melhoria de processo de serviço utilizado na indústria, o CMMI-SVC. O foco desta harmonização reside nos processos do livro da ITIL Service Design, que visa projetar, desenvolver e identificar o que é necessário para fornecer o serviço de TI com qualidade e que dê suporte à estratégia de negócio da organização. Os resultados da harmonização foram verificados passo a passo, incluindo uma revisão por pares da harmonização e foram assistidos por um especialista na estrutura ITIL e no modelo CMMI-SVC. Desta forma, o objetivo deste trabalho é correlacionar as estruturas desses padrões e assim obter benefícios com a redução de tempo e custos para a implementação conjunta e estimular a execução de implementações de vários modelos para o gerenciamento de serviço de TI.

Palavras-Chave: ITIL, CMMI-SVC, Mapeamento de Modelos, Multimodelos, Modelos de Qualidade, Qualidade de Serviço.

 

O Programa de Pós Graduação em Ciência da Computação tem a honra de convidar toda a comunidade acadêmica para participar da Defesa de Qualificação de Doutorado, abaixo relacionada:

 
 
1) Aluno: Júlio Cezar Costa Furtado

Matrícula: 201520080005.
Titulo: "Uma Proposta de Abordagem para o Ensino de Controle Estatístico do Processo em Cursos Superiores de Computação"

Orientador: Prof. Dr. Sandro Ronaldo Bezerra Oliveira
Data: 21/11/2017.

Hora:09:30 h

Local: Auditório  do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

  1. Prof. Dr. Sandro Ronaldo Bezerra Oliveira - Orientador (PPGCC/UFPA)
  2. Prof. Dr. Elói Luiz Favero - Membro Interno (PPGCC/UFPA)
  3. Prof. Dr. Benedito de Jesus Pinheiro Ferreira - Membro Externo (FACOMP/UFPA)
  4. Prof. Dr. Rafael Oliveira Chaves - Membro Externo (ITEC/UFPA)
  5. Profa. Dra. Viviane Almeida dos Santos - Membro Externo  (PCCA/UFPA)
 

Resumo

Um processo considerado sob controle estatístico deve ser estável e repetível. A importância do Controle Estatístico de Processos (CEP) para a indústria de software cresceu nos últimos anos, muito devido ao uso de modelos de qualidade. Para entender a importância do CEP para a indústria de software, um survey foi aplicado para engenheiros de software. Como resultado, foi possível identificar uma falta de alinhamento entre as necessidades da indústria e o que é ensinado na academia. Neste contexto, este trabalho tem como objetivo propor um abordagem de ensino para o CEP, onde o processo de ensino-aprendizagem é centrado no aluno. A metodologia é composta pela leitura de relatos de experiência, PBL (Problem Based Learning), discussão de casos práticos, uso de jogos, projetos práticos e reflexões sobre o conteúdo aprendido. Um experimento foi executado para avaliar o efeito no aprendizado do Controle Estatístico de Processos, no nível de aplicação, promovido pela abordagem de ensino proposta comparada a aulas expositivas tradicionais em cursos de graduação em Computação. Resultados positivos e estatisticamente relevantes foram obtidos. Como contribuição, este trabalho espera ajudar a fortalecer os vínculos entre a academia e a indústria, provendo profissionais mais adaptados a estas organizações.

 

PALAVRAS-CHAVE: Controle estatístico de processos; Engenharia de software; Educação na engenharia de software; Melhoria de processos de software; Qualidade de Software.

 

 

Abstract 

 

process considered in statistical control must be stable and repeatable. The Statistical Process Control (SPC) importance for the software industry has grown in recent years, mainly due to the use of quality models. To understanding the SPC importance to the software industry, a survey was applied to software engineers. As results, it was possible to identify there was a lack of alignment between industry’s needs and what was been taught in academia. In this context, this work aims to propose a teaching methodology for SPC where the learning process is student centered. The methodology is composed of reading experience reports, PBL (Problem Based Learning), practical cases discussion, use of games, practical projects, and reflections on the learned. An experiment was carried out to evaluate the learning gain on the Statistical Process Control, at the application level, provided by the teaching approach compared to traditional classes in undergraduate courses in Computing, where positive and statistically relevant results were obtained. As contribution, this work is helping to strengthen ties between academia and industry and to provide professionals more adapted to these organizations.

 

KEYWORDS: Statistical process control; Software Engineering; Software Engineering Education; Software Improvement; Software Quality.

O Programa de Pós Graduação em Ciência da Computação tem a honra de convidar toda a comunidade acadêmica para participar da Defesa de Dissertação de Mestrado abaixo relacionada:

1) Aluno: Renato Renison Moreira Oliveira

Matrícula: 201520070005
Titulo: "GAVGA: Um Algoritmo Genético para Montagem de Genomas Virais"

Orientador: Prof. Dr. Claudomiro de Souza de Sales Junior
Data: 11/10/2017.

Hora:10 h

Local: LABCOMP 1 do Instituto de Ciências Exatas e Naturais da Ufpa.

Banca Examinadora:

PROF. DR. CLAUDOMIRO DE SOUZA DE SALES JUNIOR - ORIENTADOR – (PPGCC/UFPA)

PROFA. DRA. REGIANE SILVA KAWASAKI FRANCÊS - CO-ORIENTADOR – (FACOMP/UFPA)

PROF. DR. RONNIE CLEY DE OLIVEIRA ALVES - MEMBRO INTERNO – (PPGCC/UFPA)

PROFA. DRA. DANIELLE COSTA CARRARA COUTO - MEMBRO EXTERNO -- (UFPA/CAMPUS ANANINDEUA)

PROFA. DRA. FABÍOLA PANTOJA OLIVEIRA ARAÚJO - MEMBRO EXTERNO – ( FACOMP/UFPA)

 

Resumo:

A bioinformática tem crescido consideravelmente desde o desenvolvimento do primeiro sequenciador de DNA, sendo bastante utilizada atualmente para análise e tratamento dos dados gerados pelos chamados sequenciadores de nova geração. Genomas virais representam um grande desafio para a bioinformática pelo fato de apresentarem uma alta taxa de mutação, o que os permite formar quasi-espécies em um mesmo hospedeiro infectado, dificultando bastante a montagem e posterior análise desses genomas virais.
Neste trabalho, foi implementado e avaliado o desempenho de um algoritmo genético, chamado GAVGA, que realiza a montagem de genomas virais. O processo de montagem do GAVGA primeiramente realiza a clusterização das sequências (reads) que compartilham uma substring comum (seed) e, para cada cluster, é utilizado um algoritmo genético para verificar se há sobreposição entre as reads, dada uma porcentagem de similaridade mínima. Os resultados do GAVGA foram comparados aos montadores Newbler, SPAdes e ABySS, assim como também ao montador viral VICUNA. Tais resultados confirmaram que o GAVGA montou corretamente as sequências, obtendo dados melhores que dos outros montadores. O GAVGA foi implementado em Python 2.7+ e pode ser baixado no endereço https://sourceforge.net/projects/gavga-assembler/

Palavras-chave: Bioinformática, Inteligência Artificial, Montagem de genomas, Vírus, Algoritmos genéticos.

O Programa de Pós-Graduação em Ciência da Computação convida toda comunidade acadêmica para participar da Palestra sobre Métodos Ágeis, com palestrantes nacionais, segue a chamada.

 
Na próxima quinta-feira, dia 14/09, teremos dois convidados que farão palestras sobre métodos ágeis. As palestras vão acontecer no auditório do auditório do PCT Guamá, começando às 9h:30m.  
As palestras são particularmente relevantes para alunos procurando temas de pesquisa (seja na IC, mestrado ou doutorado).
 
 
 
Detalhes das apresentações:
 
Titulo: Design de Software em Métodos Ágeis

Resumo: Metodologias clássicas de desenvolvimento de software possuem uma abordagem de design de software baseada em tradicionais processos de engenharia, onde inicialmente é feito um grande projeto e em seguida esse projeto é implementado. Devido a natureza dinâmica de um software, muitos problemas não podiam ser previstos e algumas estruturas introduzidas no projeto acabavam nunca sendo utilizadas. Sendo assim, não era obtido o retorno esperado sobre o investimento feito nessa grande fase inicial. As metodologias ágeis propõe uma abordagem diferente, na qual o design do software vai emergindo e evoluindo durante a construção da aplicação. Para que seja possível evoluir o código e sua modelagem de forma segura, é necessário ter disciplina e utilizar técnicas como o TDD e refatoração no desenvolvimento da aplicação. Essa palestra irá apresentar aos participantes os fundamentos do design emergente de aplicações através de técnicas como TDD e refatoração, a fim de mostrar como é possível modelar e evoluir uma aplicação de forma contínua.


Eduardo Guerra is researcher in the National Institute for Space Research (INPE) in Brasil, where he is the current coordinator of the graduate program in Applied Computing. He was a teacher in one of the most recognized engineering institutes in Brasil, the Institute of Aerospacial Technology (ITA), for 6 years, where he concluded his graduation, mastering and PhD. He is currently developing an on-line specialization course about software design and agile methods in partnership with ITA for the Coursera platform.  He was for 7 years the chief-editor of a programming magazine focused on the Java platform called MundoJ and he also have 2 books about software design published in portuguese: “Design Patterns com Java: Projeto orientado a objetos guiado por padrões” and “Componentes Reutilizáveis em Java com Reflexão e Anotações”. His research areas are framework development, software design and architecture, software repository mining, and agile methodologies, which resulted in several papers published in recognized conferences and journals. He participate actively from the patterns community, being a member of the board from Hillside Group.


Título: Como Fazer e Não Fazer Agile

Resumo: nesta palestra apresentarei resultados de pesquisas realizadas em três projetos de desenvolvimento de software de Recife-PE, bem como relato de experiência com consultoria em Melhoria de Processo de Software em Pernambuco e na Paraíba.

Fernando Kenji é professor do Instituto Federal de Alagoas (IFAL), Mestre em Ciências da Computação pela Universidade Federal de Pernambuco - UFPE (2010-2012), e doutorando do Centro de Informática da UFPE. Atua na área de Engenharia de Software através de pesquisas acadêmicas, e prestou consultoria (implantação e avaliação) em modelos de qualidade de software, o MPS.BR e CMMI (DEV e SVC), juntamente com as Metodologias Ágeis, mais especificamente com o SCRUM, tendo realizado serviços para empresas vinculadas ao Porto Digital de Pernambuco e da cidade de João Pessoa em 2010 e 2011.
 

A Universidade Federal do Pará (UFPA), através do Instituto de Ciências Exatas e Naturais (ICEN), torna público que as inscrições à seleção de candidatos à turma de 2017 do Programa de Pós-Graduação em Ciência da Computação (PPGCC), em nível de Doutorado, recomendado pela CAPES e aprovado pela Pró-Reitoria de Pesquisa e Pós-Graduação (PROPESP/UFPA), estarão abertas no período de 06 de março de 2017 até 30 de novembro de 2017, considerando o número máximo de 10 (dez) vagas para ingresso no ano letivo de 2017, em regime de fluxo contínuo. 

Clique aqui para informações e acesso ao edital.

O Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Universidade Federal do Pará (UFPA) divulga a relação dos aprovados na seleção 2017.1 para ingresso ao curso de Mestrado. Foram aprovados 33 (trinta e três) candidatos de um total de 41 (quarenta e um) selecionados na Etapa 1.Para visualizar a lista completa dos candidatos aprovados clique aqui.

Ressaltamos que, de acordo com a Seção 1 do Edital do Processo Seletivo 2017.1, a Etapa 2 foi considerada como eliminatória e de responsabilidade de cada Professor-Orientador, seguindo os critérios e instrumentos definidos por este. Assim, os resultados das avaliações da Etapa 2 podem ser conferidos com o Professor-Orientador responsável.

Comunicamos, ainda, que encontra-se na página do PPGCC na Internet (www.ppgcc.propesp.ufpa.br, menu “Acadêmico/Matrícula”) o período de matrícula e a lista de disciplinas ofertadas para o primeiro semestre de 2017, onde se torna obrigatória a matrícula dos alunos ingressantes nas disciplinas consideradas obrigatórias.

Os alunos a serem matriculados devem comparecer na Secretaria do PPGCC munidos do Formulário de Matrícula, disponível na página do PPGCC na Internet (www.ppgcc.propesp.ufpa.br, menu “Documentos/Formulários”) preenchido e assinado pelo Professor-Orientador no período definido.

 

Todos os alunos selecionados para a turma de Mestrado 2017.1 devem participar da aula inaugural dia 13/03/2017 - Sala FC-02 às 9:30hs.

 

Normal 0 false false false PT-BR JA X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman";} Colegiado do Programa de Pós-Graduação em Ciência da Computação