Temas de Pesquisa para 2011

Engenharia de Software

  • ES-01-M
    • Título: Refatoramento Seguro de Programas C
    • Nível: Mestrado.
    • Orientador: Rohit Gheyi.
    • Breve Descrição: Refatoramentos podem ser aplicados em sistemas imperativos visando melhorar a sua estrutura interna, sem modificar o seu comportamento observável. Entretanto, o suporte atual não é adequado já que introduzem mudanças que causam desde erros de compilação até mudança de comportamento. O objetivo deste trabalho é propor uma abordagem para aumentar a confiança na corretude dos refatoramentos de programas C. Esta será baseada na criação de um gerador de testes úteis para C, além de utilizar algumas técnicas de análise de impacto. Iremos avaliar a abordagem proposta em sistemas desenvolvidos na industria aviônica. Veja mais detalhes em artigos relacionados.

  • ES-02-MD
    • Título: Estudo e Elaboração de Técnicas para Projeto de Transformadores de Modelos.
    • Nível: Mestrado e Doutorado
    • Orientador: Franklin Ramalho
    • Breve descrição: O número de arquiteturas definidas sobre a abordagem MDD/MDA tem crescido consideravelmente. Transformadores de modelo são uma peça fundamental na obtenção do produto final a partir dessas arquiteturas. Uma vez que a elaboração de tais transformadores não é uma tarefa trivial, propõe-se uma investigação e estudo para a elaboração de técnicas de composição e projeto de transformadores de modelos em modelos e de transformadores de modelos em texto.

  • ES-03-M
    • Título: Construindo Compiladores MDA
    • Nível: Mestrado.
    • Orientador: Franklin Ramalho.
    • Breve Descrição: Costumeiramente se usa o termo "Compiladores MDA" como sinônimos de tradutores que usam transformações MDA. No entanto, muitas das técnicas e princípios de um projeto de Compiladores não são adotados em técnicas MDA. O objetivo desta linha de pesquisa é investigar e propor técnicas para construção de compiladores MDA.

  • ES-04-MD
    • Título: Integrando Operações de Modelos com Web Services.
    • Nível: Mestrado e Doutorado.
    • Orientador: Franklin Ramalho.
    • Breve Descrição: Várias são as operações que podem ser aplicadas a modelos, como edição, verificação ou geração de código. Uma corrente cada vez mais forte no desenvolvimento de aplicações para Web é o uso de Web Services. O desenvolvimento e integração de operações sobre modelos com web services e sua infra-estrutura se constitui em um nincho desafiador e promissor. O objetivo desta linha é investigar técnicas para integrar o uso de modelos como aplicações de web services. Uma ferramenta para validação e efetivo uso da(s) técnica(s) deve ser também produzida.

  • ES-05-M
    • Título: Aplicando MDA para prover suporte para DSLs.
    • Nível: Mestrado.
    • Orientador: Franklin Ramalho.
    • Breve Descrição: É crescente o número DSLs (Domain Specific Languages) lançadas e amplamente usadas no mercado. Por outro lado, MDA é uma área emergente que provê toda uma infra-estrutura e padrões capazes de acelerar o processo de desenvolvimento de software. DSLs e MDA têm uma forte sinergia carente de ser explorada. O objetivo deste projeto é investigar e propor técnicas MDA para construção e suporte para DSLs e seus respectivos compiladores.

  • ES-06-MD
    • Título: Técnicas para Controle de Versões de Modelos.
    • Nível: Mestrado e Doutorado.
    • Orientador: Franklin Ramalho.
    • Breve Descrição: Modelos UML são amplamentos usados no mercado e na academia. Este trabalho se constitui na elaboração de uma proposta de uma ou mais técnicas que auxiliem o controle de versões de diversos tipos de modelos UML, que também devem estar sincronizados para permitir a implementação de código consistente com seu projeto. Adicionalmente, deve ser proposta também uma ferramenta CASE para validação da(s) técnica(s) e seu efetivo uso.

  • ES-07-MD
    • Título: Aplicando MDA na concepção e geração de Web Services
    • Nível: Mestrado e Doutorado.
    • Orientador: Franklin Ramalho.
    • Breve Descrição: Proposta de uma ou mais técnicas para integrar e aplicar MDA a Web Services e sua infra-estrutura. Isso trará inúmeros benefícios, como automatização e documentação de web services e a geração de aplicações em diversas plataformas de serviços Web. Uma ferramenta para validação e efetivo uso da(s) técnica(s) deve ser também produzida.

  • ES-08-M
    • Título: Recuperação de Informação aplicada a Modelos UML
    • Nível: Mestrado.
    • Orientador: Franklin Ramalho.
    • Breve Descrição: Apesar do amplo uso de modelos UML em projetos de software de diversas naturezas, a tarefa de localizar modelos de acordo com diferentes necessidades da informação é ainda manual e laboriosa. Nesta linha, deseja-se propor uma ou mais técnicas para indexação e recuperação de modelos UML. Uma ferramenta Web também deve ser construída para validação destas técnicas e seu efetivo uso.

  • ES-09-MD
    • Título: Teste Digirido por Modelos em Linhas de Produto de Software.
    • Nível: Mestrado e Doutorado.
    • Orientador: Patrícia Machado.
    • Breve Descrição: Teste Dirigido por Modelos (MDT) tem como objetivo gerar automaticamente casos de teste a partir de modelos abstratos de comportamento de um software, contribuindo para aumentar a efetividade, confiabilidade e produtividade em processos de teste. Diferentemente de práticas convencionais de teste baseado em modelos, MDT se caracteriza por todo o processo de geração ser guiado por regras de transformação pré-definidas entre modelos em diferentes níveis de abstração: independente e dependente de plataforma. O objetivo deste projeto é investigar o problema do teste de linhas de produto dentro do contexto de metodologias de desenvolvimento dirigido por modelos. O projeto será desenvolvido no escopo de cooperações técnico-científicas em aplicações para celulares e para TV digital.

  • ES-10-MD
    • Título: Redução Automática de Conjuntos de Teste de Regressão.
    • Nível: Mestrado e Doutorado.
    • Orientador: Patrícia Machado.
    • Breve Descrição: Como parte do processo de evolução de software, testes precisam ser continuamente executados durante todo o ciclo de vida de software. Visto que mudanças afetam partes específicas do software e os custos de execução e manutenção de conjuntos de teste são altos, é necessário identificar um conjunto mínimo de casos de teste que seja mais efetivo em cada teste de regressão. Tal conjunto mínimo precisa ter alta capacidade de detecção de defeitos e ao mesmo tempo uma cobertura ótima de funcionalidades que torne possível a validação de mudanças. O projeto será desenvolvido no escopo de cooperações técnico-científicas em aplicações para celulares e para TV digital.

  • ES-11-MD
    • Título: Automação de Inspeções Guiadas no Contexto de Desenvolvimento Dirigido por Modelos.
    • Nível: Mestrado e Doutorado.
    • Orientador: Patricia Machado.
    • Breve Descrição: Inspeções guiadas tem como objetivo avaliar a conformidade entre artefatos desenvolvidos em diferentes níveis de abstração a fim de evitar que defeitos sejam introduzidos em etapas sucessivas de detalhamento do projeto. Estas inspeções são conduzidas através de casos de teste que são gerados a partir de modelos abstratos do sistema. Sua aplicação torna possível uma investigação mais rigorosa da testabilidade e conformidade do software com relação aos requisitos, contribuindo para um aumento significativo na sua confiabilidade. Este projeto terá como enfoque o contexto de metodologias de desenvolvimento dirigidas por modelos, particularmente, envolvendo tecnologias MDA. Mesmo dentro deste contexto, onde transformações automáticas entre modelos são esperadas, a inspeção se torna fundamental, principalmente entre documentos de requisitos e artefatos de design que não podem geralmente ser gerados de forma automática. O projeto será desenvolvido no escopo de cooperações técnico-científicas em aplicações para celulares e para TV digital.

  • ES-12-MD
    • Título: Técnicas e Ferramentas para Teste Funcional de Sistemas Embarcados de Tempo Real.
    • Nível: Mestrado e Doutorado.
    • Orientador: Patricia Machado.
    • Breve Descrição: Sistemas embarcados de tempo real representam hoje uma classe bastante crítica e ao mesmo tempo difundida de aplicações em nossa sociedade. No entanto, técnicas efetivas e ferramentas de apoio para testar estas aplicações ainda não estão disponíveis. Sistemas de tempo real são aqueles que possuem restrições de tempo associadas aos seus requisitos de forma que funcionalidades devem ser providas respeitando tais restrições. Que casos de teste definir? Como controlar/observar a execução do software para avaliar o cumprimento do tempo? Estes são exemplos de problemas em aberto que podem ser investigados. O projeto será desenvolvido no escopo de cooperações técnico-científicas em aplicações para celulares e para TV digital.

  • ES-13-MD
    • Título: Desenvolvimento de software para computação pervasiva.
    • Nível: mestrado e doutorado.
    • Orientadores: Hyggo Almeida e Angelo Perkusich.
    • Breve Descrição: O projeto PerComp tem como objetivo o desenvolvimento de metodologias, técnicas e ferramentas para o desenvolvimento de software para computação móvel e pervasiva. Dentre as principais áreas de aplicação relacionadas ao tema, destacam-se sistemas baseados em localização, gerenciamento de energia, multimídia, redes sociais móveis e evolução de aplicações pervasivas.

  • ES-14-MD
    • Título: Confiança em Sistemas Instrumentados de Segurança.
    • Nível: Mestrado/Doutorado.
    • Orientadores: Leandro Dias da Silva e Angelo Perkusich.
    • Breve Descrição: O projeto SIS tem como objetivo o desenvolvimento de métodos, técnicas e ferramentas para garantir confiança nos Sistemas Instrumentados de Segurança. Tais sistemas são essenciais na operação de instalações de petróleo e gás para prevenir a ocorrência de situações indesejadas quando da execução de procedimentos realizados automaticamente ou sob a interferência e operadores humanos. Esses sistemas são normalmente interligados ao sistema de controle supervisório e usam as informações obtidas através de sensores e, a partir da determinação do estado do processo, utilizam dispositivos de campo para prevenir a ocorrência de situações indesejadas. Técnicas e ferramentas para verificação de modelos e geração/execução automática de testes estão sendo utilizadas atualmente no contexto deste projeto.

  • ES-15-M
    • Título: Avaliação multidimensional da acessibilidade de interfaces com o usuário para aplicações móveis.
    • Nível: Mestrado.
    • Orientador: José Eustáquio Rangel de Queiroz e Joseana Macêdo Fechine.
    • Breve Descrição: O número cada vez maior de dispositivos conectados à Internet tem possibilitado o acesso a facilidades da Web por uma gama a cada dia mais diversificada de dispositivos móveis. Neste cenário, a gama de usuários dependentes de acessibilidade tem suscitado o desenvolvimento de um número diversificado de modalidades de entrada e saída em processos interativos, cada uma das quais passível de diferentes configurações. A proposta focalizada neste tema de investigação consiste na análise de aplicações móveis, sob o ponto de vista da acessibilidade, a fim de propor uma metodologia de avaliação multidimensional da acessibilidade de interfaces com o usuário para aplicações acessadas a partir de dispositivos móveis.

  • ES-16-M
    • Título: Avaliação multidimensional da usabilidade de sistemas de informação geográfica (GIS) para dispositivos móveis.
    • Nível: Mestrado.
    • Orientador: José Eustáquio Rangel de Queiroz.
    • Breve Descrição: O contexto da mobilidade sucita vários temas de investigação para aplicações de sistemas de informação geográfica (GIS). Limitações impostas por dispositivos de interação do usuário de dispositivos móveis, e.g. uso de entrada de dados via caneta (pen input) duarante o movimento do usuário, resulta em problemas de usabilidade não triviais para a navegação e interação do usuário, sobretudo com aplicações móveis destinadas ao processamento de informação geográfica. A proposta focalizada por este tema se refere à investigação das limitações impostas por tais sistemas ao processo interativo e a concepção de uma metodologia multicamadas destinada à avaliação da usabilidade de interfaces com o usuário de aplicações desta natureza.

  • ES-17-MD
    • Título: Recuperação e verificação arquitetural e de design.
    • Nível: Mestrado e Doutorado.
    • Orientador: Dalton Serey.
    • Breve Descrição: A arquitetura e o design de um sistema são orientações que o desenvolvedor deve seguir ao implementá-lo. Quem garante, contudo, que a implementação adere ao que determina a arquitetura ou o design especificados? O objetivo desta linha de pesquisa é propor, desenvolver e avaliar técnicas que permitam automatizar o processo de extração e verificação do design e da arquitetura do software. O desafio é fazê-lo sem impor ao desenvolvedor uma nova linguagem de descrição arquitetural ou de design que dificulte sua adoção.

  • ES-18-MD
    • Título: Análise de impacto de mudanças.
    • Nível: Mestrado e Doutorado.
    • Orientador: Dalton Serey.
    • Breve Descrição: Avaliar que impactos uma mudança pode provocar é fundamental para estimar o custo da mudança. E o custo é, em última instância, a condição determinante para se fazer ou não a mudança. Embora algoritmos para avaliar impactos já estejam disponíveis na literatura, diversas melhorias ainda podem ser feitas. Neste trabalho, queremos investigar como melhorar os algoritmos existentes, reduzindo o número de falso-positivos e de falso-negativos que os algoritmos do estado-da-arte produzem.

  • ES-19-MD
    • Título: Técnicas e ferramentas para a mineração de repositórios de software.
    • Nível: Mestrado e Doutorado.
    • Orientador: Dalton Serey.
    • Breve Descrição: Uma enorme e crescente quantidade de dados está disponível hoje na Internet sobre desenvolvimento de software, na forma de repositórios. O objetivo desta linha (que podem ser muitas) é desenvolver ferramentas para viabilizar o estudo de repositórios de software.

  • ES-20-MD
    • Título: Estudos empíricos de repositórios de software.
    • Nível: Mestrado e Doutorado.
    • Orientador: Dalton Serey.
    • Breve Descrição: Uma enorme e crescente quantidade de dados está disponível hoje na Internet sobre desenvolvimento de software, na forma de repositórios. O objetivo desta linha (que podem ser muitas) é aplicar técnicas e ferramentas disponíveis para estudar repositórios de software e produzir conhecimento sobre processo e produtos de software que possam subsidiar o processo de desenvolvimento.

  • ES-21-MD
    • Título: Compreensão de software.
    • Nível: Mestrado e Doutorado.
    • Orientadores: Dalton Serey e Jorge Figueiredo.
    • Breve Descrição: A evolução de um sistema de software depende da compreensão dos conceitos e da organização do software por parte da equipe. Na prática, a compreensão depende da experiência e das habilidades individuais de cada desenvolvedor. Poucas técnicas e ferramentas para o apoio dessa atividade têm chegado à prática. Questões a serem investigadas incluem: o desenvolvimento de técnicas e ferramentas para a: localização de features, visualização da organização de código fonte, compreensão e navegação pelos artefatos de desenvolvimento.

  • ES-22-MD
    • Título: Ferramentas de apoio ao ensino de programação.
    • Nível: Mestrado e Doutorado.
    • Orientador: Dalton Serey.
    • Breve Descrição: O ensino da prática de programação ainda demanda um esforço considerável do professor. O uso de uma metodologia baseada em problemas e o uso de testes automáticos, contudo, pode tornar a avaliação dos programas muito mais ágil. Neste trabalho, pretendemos desenvolver e avaliar uma ferramenta de apoio ao ensino de programação. A ferramenta que desenvolveremos será organizada como um serviço web que permitirá a interação ágil entre professor, tutores e alunos, através da publicação de problemas, testes automáticos e da coleta de respostas.

  • ES-23-M
    • Título: Tecnicas de Refactoring Automático de estruturas de dados com APIs.
    • Nível: Mestrado.
    • Orientador: Tiago Massoni e Rohit Gheyi.
    • Breve Descrição: Apesar do significativo avanço das ferramentas de refatoração de programas, nenhuma delas inclui suporte automatizado para situações em que o usuário deseja modificar suas escolhas de utilização de certas estruturas de dados. Por exemplo, usuários de API Collection de Java que queiram modificar seu programa para usar mapas em vez de listas (por melhor desempenho, ou novos requisitos de uso) devem fazê-lo manualmente, substituindo todas as chamadas de métodos. Este projeto tem como objetivo definir técnicas de comparação entre estruturas de dados e ferramentas para dar suporte a estas refatorações.

  • ES-24-M
    • Título: Uma Metodologia de Desenvolvimento de Software para Adoção de Métodos Formais Leves com Suporte de Ferramentas.
    • Nível: Mestrado.
    • Orientador: Tiago Massoni.
    • Breve Descrição: Metodologias de Software, como aquelas baseadas no Processo Unificado [1], são comumente utilizadas na indústria como guia para desenvolvimento de software, com o auxílio de linguagens de modelagem (como UML [2]) e ferramentas CASE. Estes elementos facilitam a comunicação em equipe e o controle de qualidade do software produzido. Por outro lado, métodos formais de desenvolvimento [3] foram desenvolvidos para produzir software através de representações matemáticas, entre elas a especificação formal, análise e prova de especificação e verificação de programas, com o objetivo de garantir maiores níveis de qualidade para sistemas críticos. Este projeto pretende propor uma metodologia de desenvolvimento de software, com foco em atividades de análise, projeto e implementação, integrada a métodos formais leves e suas ferramentas (especificamente modelagem Alloy com especificações JML), com observação experimental dos resultados.

  • ES-25-M
    • Título: Consistência de Refatoração de Especificações e Programas Orientados a Objetos.
    • Nível: Mestrado.
    • Orientador: Tiago Massoni e Rohit Gheyi.
    • Breve Descrição: Este projeto pretende propor, formalizar e avaliar uma abordagem de refactoring de programas Java baseada em especificações JML (Java Modeling Language). Neste projeto, serão estudados técnicas e ferramentas de refactoring, altamente disseminadas na prática do desenvolvimento de software atual, além de conformidade e verificação entre programas e suas especificações e definição precisa de transformações, além do projeto e implementação de ferramentas CASE para suporte da técnica. O problema principal a ser investigado é manutenção de consistência entre anotações (modelo) e código, durante atividades de evolução como refactoring.

  • ES-26-M
    • Título: Modelagem do Vocabulário do Design de Software.
    • Nível: Mestrado.
    • Orientador: Dalton Serey e Jorge Figueiredo.
    • Breve Descrição: O vocabulário do código-fonte de um software é um elemento importante para tarefas de manutenção e evolução. Utilizado, por exemplo, em localização de features, recuperação arquitetural e análise de impacto, permite descobrir relações intra-artefatos e inter-artefatos de software. Caracterizar a evolução do vocabulário do código-fonte ou, mais especificamente, de suas entidades de design (e.g.: classes, interfaces, métodos e atributos) através de um modelo estatístico permitiria sintetizar designs artificiais que poderiam ser usados em simulações e validações de experimentos de técnicas de manutenção e evolução de software. Este trabalho pretende modelar a evolução do vocabulário de um software e criar algoritmos para sintetizar modelos artificiais de design que se assemelhem a uma software real.

  • ES-27-M
    • Título: Especificação de sistemas concorrentes e distribuídos.
    • Nível: Mestrado.
    • Orientadores: Adalberto Cajueiro e Rohit Gheyi.
    • Breve Descrição: A especificação formal de software tem ganho muita atenção da indústria principalmente pela detecção prévia de erros sutis no processo de software (mesmo antes da fase de projeto e implementação). O uso de formalismos para especificar sistemas concorrentes é essencial tanto do ponto de vista de entendimento quanto para verificação formal de propriedades auxiliado por ferramentas de software. O objetivo deste trabalho é estudar as linguagens formais mais usadas para especificação de sistemas concorrentes e investigar a modelagem de valores contínuos usando álgebras de processo. Com isso será possível estabelecer técnicas que podem ser aplicadas a sistemas de controle em geral com o objetivo de ser aplicado à industria aviônica.

  • ES-28-M
    • Título: Abstração de dados em especificações formais.
    • Nível: Mestrado.
    • Orientadores: Adalberto Cajueiro e Rohit Gheyi.
    • Breve Descrição: A verificação de propriedades de especificações formais é baseada em duas técnicas principais: model chekcing e prova de teoremas. A primeira delas é completamente automática (decidível) enquanto que a segunda requer (em geral) intervenção do usuário (indecidível). Ainda no model checking, os algoritmos não são capazes de lidar diretamente com modelos infinitos a serem analisados. Para isso técnicas auxiliares são capazes de reduzir o esforço na verificação formal. Uma técnica poderosa usada nesse contexto é a abstração de dados, que procura limitar (tornar finito) os dados manipulados pelo sistema, de forma que propriedades desejáveis sejam preservadas e verificadas por model checking. O objetivo deste trabalho é compreender algumas técnicas de abstração de dados da literatura usadas em linguagens baseadas em modelos e em álgebras de processo. De forma complementar é necessário o estudo de técnicas de mecanização de avaliação de expressões lógicas e o desenvolvimento de uma ferramenta de suporte a técnica de abstração de dados selecionada para ser aplicada. Os resultados desta proposta também são vislumbradas a serem aplicadas a sistemas aviônicos.

  • ES-29-M
    • Título: Abstração de dados e automatização de refinamentos de dados.
    • Nível: Mestrado.
    • Orientadores: Adalberto Cajueiro e Rohit Gheyi.
    • Breve Descrição: A técnica de refinamento de dados permite modificar estruturas de dados manipuladas em uma especificação (ou programa) de forma a se obter uma estrutura mais próxima de uma linguagem de programação. Entretanto essa atividade requer, em geral, a prova de teoremas para mostrar a validade dessa modificação. No sentido de eliminar o expertise do usuário na validação de refinamento de dados, algumas técnicas transferem essa tarefa para ferramentas que usam a técnica de model checking, aplicada a sistemas com espaço de estados finitos. Essa limitação tem despertado a curiosidade para o uso de abstração de dados, onde, na fase de validação do refinamento, os tipos infinitos podem ser reduzidos para subconjuntos finitos de forma a preservar as propriedades e tornar exeqüível a validação do refinamento automático. O objetivo deste trabalho é investigar como a abstração de dados pode ser usada no contexto de validação automática de refinamentos em Z.

  • ES-30-M
    • Título: Analisador de Impacto de Mudanças
    • Nível: Mestrado.
    • Orientador: Rohit Gheyi.
    • Breve Descrição: O objetivo deste trabalho é propor um analisador de impacto estático de mudanças para Java. O analisador identificará uma aproximação das entidades impactadas por uma mudança. Este será avaliado no contexto de refatoramentos de programas. O objetivo é evoluir a ferramenta SafeRefactor, útil para aumentar identificar mudanças comportamentais, através da utilização do analisador. Veja mais detalhes em artigos relacionados.

  • ES-31-M
    • Título: Transformações MDA para Processos de Desenvolvimento de Sistemas Embarcados
    • Nível: Mestrado.
    • Orientadores: Jorge Figueiredo e Franklin Ramalho
    • Breve Descrição:IOPT (Input/Output Place/Transition Nets) é uma linguagem para descrever modelos indepedentes e específicos de plataforma no contexto de projeto de software para sistemas embarcados. Porém, as IOPTs não se apresentam como uma linguagem intuitiva para capturar requisitos, modelar regras de negócio e fluxo de informações. Para isso, existem linguagens como BPMN (Business Process Modeling Notation) e BPEL (Business Process Execution Language), que são amplamente divulgadas e permitem modelagem e execução de fluxos de web-services, um requisito essencial no contexto mencionado. Pretendemos prover transformações de alto nível entre estas linguagens para facilitar o entendimento e automatizar etapas dentro do processo de construção de sistemas embarcados. Além disso, faremos uma aplicação dos modelos e transformações providos através de estudos de caso para aplicações industriais

Modelos Computacionais e Cognitivos

  • MCC-01-MD
    • Título: Algoritmos Quânticos e Comunicações Incondicionalmente Seguras.
    • Nível: Mestrado e Doutorado.
    • Orientadores: Francisco Marcos de Assis e Bernardo Lula Júnior.
    • Breve Descrição: O objetivo geral deste projeto é analisar e possivelmente construir algoritmos quânticos que permitam melhorar sistemas clássicos de comunicações seguras, e.g., autenticação de mensagens e distribuição de chaves secretas e inversamente analisar e possivelmente construir algoritmos quânticos que permitam realizar ataques eficientes a sistemas clássicos computacionalmente seguros.

  • MCC-02-MD
    • Título: Análise Automática de Documentos Multimídia.
    • Nível: Mestrado ou Doutorado.
    • Orientadores: João Marques de Carvalho e Herman Martins Gomes.
    • Breve Descrição: estudo e desenvolvimento de técnicas para processamento e análise de documentos multimídia (texto, imagens, vídeo) objetivando a indexação e recuperação de informação em grandes bases de dados.

  • MCC-03-M
    • Título: Anotação Automática de Ações do Usuário em Registros de Vídeo de Testes de Usabilidade.
    • Nível: Mestrado.
    • Orientadores: Herman Martins Gomes e José Eustáquio Rangel de Queiroz.
    • Breve Descrição: investigação de técnicas para análise de vídeo no contexto de teste de usabilidade, com fins à anotação automática de ações que auxiliem o diagnóstico de sessões de teste.

  • MCC-04-MD
    • Título: Investigação de técnicas de Inteligência Artificial no domínio da Educação em Computação.
    • Nível: Mestrado ou Doutorado.
    • Orientadora: Joseana Macêdo Fechine.
    • Breve Descrição: concepção de estratégias e ferramentas que facilitem o processo ensino-aprendizagem, auxiliando professores, monitores e alunos, tanto em um contexto presencial como à distância, no domínio da Educação em Computação.

  • MCC-05-M
    • Título: Processamento Digital de Sinais de Voz aplicado ao Estudo de Patologias da Fala.
    • Nível: Mestrado.
    • Orientadora: Joseana Macêdo Fechine.
    • Breve Descrição: investigação de técnicas de processamento digital de sinais de voz que possam auxiliar no tratamento de patologias da fala.

  • MCC-06-M
    • Título: Comunicação Vocal Homem-Máquina aplicada ao desenvolvimento de aplicações no contexto das tecnologias assistivas.
    • Nível: Mestrado.
    • Orientadora: Joseana Macêdo Fechine e José Eustáquio Rangel de Queiroz.
    • Breve Descrição: investigação de técnicas para reconhecimento de fala, de identidade vocal e de síntese de voz, visando facilitar a inclusão digital de pessoas com necessidades especiais.

  • MCC-07-M
    • Título: Monitoramento de Características de Pose da Cabeça e Região Ocular de Usuários com Aplicação em Sessões de Testes de Usabilidade.
    • Nível: Mestrado.
    • Orientadores: José Eustáquio Rangel de Queiroz e Herman Martins Gomes.
    • Breve Descrição: investigação de técnicas para detecção de olhos, direção do olhar, pose da cabeça, estado dos olhos (piscadas, aberto/fechado), etc.

  • MCC-08-M
    • Título: Deformações Estilizadas de Faces Humanas em Vídeos
    • Nível: Mestrado ou Doutorado.
    • Orientador: José Eustáquio Rangel de Queiroz e Herman Martins Gomes.
    • Breve Descrição: Estudo e proposição de métodos automáticos (2D ou 3D) para gerar renderizações não foto-realísticas de faces humanas (semelhantes a caricaturas produzidas por um artista) em vídeo digital, de tal forma que sejam preservadas as coerências espacial e temporal no vídeo resultante.

  • MCC-09-MD
    • Título: Modelagem de usuário, individualmente ou em grupo, no contexto de redes sociais.
    • Nível: Mestrado ou Doutorado.
    • Orientador: Evandro de Barros Costa.
    • Breve Descrição: Estudo de técnicas, com tratamento de incerteza, para modelagem cognitiva, motivacional e afetiva de usuários no contexto de suas interações em redes sociais.

  • MCC-10-MD
    • Título: Sistema de filtragem informação e recomendação personalizada de recursos no contexto de redes sociais.
    • Nível: Mestrado ou Doutorado.
    • Orientador: Evandro de Barros Costa.
    • Breve Descrição: Estudo de técnicas de recuperação e filtragem de informação, numa abordagem híbrida entre baseada em conteúdo e colaborativa, para dar suporte a recomendações personalizadas de recursos no contexto de redes sociais.

  • MCC-11-MD
    • Título: Evolução dinâmica de sistemas educacionais adaptativos e semânticos.
    • Nível: Mestrado ou Doutorado.
    • Orientador: Evandro de Barros Costa.
    • Breve Descrição: Investigar e desenvolver uma solução efetiva para modelagem da evolução dinâmica de sistemas educacionais adaptativos e semânticos, considerando uma integração entre agentes inteligentes, ontologias e serviços web semânticos.

  • MCC-12-MD
    • Título: Concepção e desenvolvimento de ambientes educacionais adaptativos e semânticos para apoiar aprendizagem de resolução de problemas em domínios formais: Estudo de caso no aprendizado de engenharia de software.
    • Nível: Mestrado ou Doutorado.
    • Orientador: Evandro de Barros Costa.
    • Breve Descrição: Investigar, conceber e desenvolver um ambiente educacional para apoiar estudantes no desenvolvimento de sua capacidade de resolução de problemas, tendo um foco específico no processo de construção efetiva de software.

  • MCC-13-D
    • Título: Estudo e Elaboração de um Framework Metodológico para Desenvolvimento de Software Baseado em Modelos de Interface com Usuário integrados com Artefatos UML.
    • Nível: Doutorado.
    • Orientador: Bernardo Lula Junior e Evandro de Barros Costa.
    • Breve Descrição: Há um número cada vez maior de empresas e instituições que estão começando a considerar a usabilidade como estratégia para seus negócios e estão colocando como objetivo a integração de práticas de usabilidade com os seus processos de Engenharia de Software. Além do mais, algumas pesquisas tem demonstrado que a interação com o usuário influencia no que os processos de TI podem trazer para as organizações. Algumas das propostas de integração de requisitos de negócio com requisitos do usuário que foram criadas por organizações particulares de desenvolvimento de software apresentam soluções ad-hoc necessitando de uma abordagem genérica que possa ser utilizada por organizações com diferentes características. Propõe-se, portanto, uma investigação com vistas à elaboração de um framework metodológico para desenvolvimento de software baseado em modelos de interface com usuário integrados com artefatos UML.

Redes de Computadores e Sistemas Distribuídos


  • RCSD-01-MD
    • Título: Convergência entre computação sob demanda e peer production systems.
    • Nível: Mestrado ou doutorado
    • Orientador: Francisco Vilar Brasileiro
    • Breve Descrição: Ver os projetos atualmente em execução no LSD. Essa área de pesquisa engloba diversos sub-projetos, todos relacionados com uma ou mais das seguintes áreas: grid computing, cloud computing, sistemas peer-to-peer e sistemas multi-agentes.

  • RCSD-02-MD
    • Título: Análise e Desenvolvimento de Protocolos de Comunicação em Redes de Computadores.
    • Nível: Mestrado ou doutorado
    • Orientador: Marco Aurélio Spohn
    • Breve Descrição: Projetos envolvendo diversos aspectos de Redes de Computadores.

  • RCSD-03-MD
    • Título: Business-Driven IT Management.
    • Nível: Mestrado ou doutorado.
    • Orientadores: Jacques Philippe Sauvé e José Antão Beltrão Moura
    • Breve Descrição: Ver Projeto Bottom Line. As grandes questões que estamos investigando envolvem 1) a modelagem de risco e seus efeitos na decisões de gestão de serviços de TI; 2) a gestão de portfólio de serviços (Portfolio Management) ou seja, como melhor definir serviços de TI e aplicar recursos financeiros para apoiá-los; 3) a modelagem de valor (business value) e como a TI apoia a criação de valor. Há excelente oportunidade para publicação de artigos em congressos e revistas de primeira linha. Desejamos alunos com gosto e facilidade com a matemática.

  • RCSD-04-M
    • Título: Identificação de pessoas isoladas em imagens de vídeo com fundo homogêneo em tempo real.
    • Nível: Mestrado
    • Orientador: Elmar Melcher
    • Breve Descrição: Para fins de monitoramento de tráfego através de câmeras de vídeo em cruzamentos a identificação de pessoas se faz necessária. Já existem algoritmos que conseguem identificar pessoas em imagens. Esses algoritmos devem ser adaptados para permitir a sua implementação em FPGA para poderem funcionar em tempo real.

  • RCSD-05-MD
    • Título: Reconhecimento Automático de Identidade Vocal em Tempo Real para Sistemas Embarcados
    • Nível: Mestrado ou Doutorado
    • Orientadores: Joseana Macêdo Fechine e Elmar Melcher
    • Breve Descrição: Busca-se, cada vez mais, a utilização de reconhecimento biométrico, a exemplo do uso da voz, para acesso a ambientes restritos. Observa-se também a crescente necessidade de utilização em dispositivos embarcados. O Objetivo desta pesquisa é desenvolver, em FPGA, um sistema de reconhecimento automático de identidade vocal para dispositivos embarcados. Para tanto, os algoritmos desenvolvidos devem ser adaptados para permitir a sua implementação em FPGA para funcionamento em tempo real.

  • RCSD-06-M
    • Título: Reconhecimento Automático de Fala em Tempo Real para Sistemas Embarcados
    • Nível: Mestrado
    • Orientadores: Joseana Macêdo Fechine e Elmar Melcher
    • Breve Descrição: A fala representa o meio mais natural de comunicação do homem com a máquina. A utilização de comandos por voz se constitui, portanto, em um mecanismo bastante promissor de comunicação, com destaque para o uso em dispositivos embarcados. O Objetivo desta pesquisa é desenvolver, em FPGA, um sistema de reconhecimento automático de fala para dispositivos embarcados. Para tanto, os algoritmos desenvolvidos devem ser adaptados para permitir a sua implementação em FPGA para funcionamento em tempo real.

  • RCSD-07-MD
    • Título: Processamento de Imagens Cintilográficas Aplicado à Avaliação da Perfusão Miocárdica
    • Nível: Mestrado ou Doutorado
    • Orientadores: Joseana Macêdo Fechine e Elmar Melcher
    • Breve Descrição: Nos últimos anos, observou-se um aumento da utilização da cintilografia de perfusão miocárdica em diversos países, incluindo o Brasil. É de fundamental importância, que exames como a cintilografia do miocárdio sejam favorecidos com técnicas computacionais, capazes de automatizar processos que permitam a quantificação e função miocárdica, auxiliando o médico especialista a realizar o prognóstico da doença. Diante do exposto, o objetivo da pesquisa é desenvolver métodos computacionais para automatização de processos para qunatificação e função miocárdica.

  • RCSD-08-D
    • Título: Modelagem de FPGAs Dinamicamente Reconfiguráveis com Tecnicas de Simulação de Power Gate.
    • Nível: Doutorado
    • Orientador: Elmar Melcher
    • Breve Descrição: Investigar se e como métodos de simulação desenvolvidas para simular circuitos digitais projetadas para baixo consumo de energia podem ser empregadas para simular a reconfiguração dinâmica de FPGAs.


Sistemas de Informação e Banco de Dados


  • SINBAD-01-M
    • Título: Modelagem de Trajetórias
    • Nível: Mestrado.
    • Orientador: Cláudio de Souza Baptista.
    • Breve Descrição: A proliferação de dispositivos móveis dotados de GPS tem impulsionado a pesquisa na modelagem de trajetórias de objetos: pessoas, animais, veículos, etc. Este projeto visa desenvolver um modelo espaço-temporal para trajetórias obtidas a partir de dispositivos móveis.

  • SINBAD-02-M
    • Título: Extração automática de metadados em bibliotecas digitais
    • Nível: Mestrado.
    • Orientador: Cláudio de Souza Baptista.
    • Breve Descrição: desenvolver uma biblioteca digital multimídia com suporte à extração automática da informação relacionada aos metadados dos padrões Dublin Core para textos; DICOM e EXIF para imagens; e MPEG-7 para vídeos.

  • SINBAD-03-M
    • Título: Mineração de Dados em Redes Sociais Semânticas
    • Nível: Mestrado ou Doutorado.
    • Orientador: Cláudio de Souza Baptista.
    • Breve Descrição: este projeto visa aplicar técnicas de data mining em redes sociais enriquecidas semanticamente.

  • SINBAD-04-MD
    • Título: Tuning em Procedimentos Armazenados em Bancos de Dados
    • Nível: Mestrado.
    • Orientador: Carlos Eduardo Pires.
    • Breve Descrição: Durante a fase de desenvolvimento, aplicações de banco de dados normalmente apresentam desempenho aceitável. Na maioria das vezes, os problemas de desempenho só são detectados quando a aplicação passa a trabalhar com volumes de dados e taxas de transações reais. Este fenômeno pode ser decorrente de diversos fatores. Um dos fatores críticos diz respeito ao uso de instruções SQL não otimizadas, que usualmente falham em manter um desempenho aceitável à medida que cresce o volume de dados processados. Neste sentido, uma das estratégias de otimização disponíveis é a utilização de linguagens procedurais de banco de dados (por exemplo, PL/SQL, Transact SQL e PLpg/SQL). Porém, assim como ocorre na linguagem SQL, instruções escritas em tais linguagens também precisam ser otimizadas. O objetivo desta pesquisa é propor técnicas e desenvolver ferramentas que facilitem a tarefa de tuning em linguagens procedurais de banco de dados.

  • SINBAD-05-MD
    • Título: Enriquecimento semântico de consultas a documentos por meio de recursos de linguística computacional.
    • Nível: Mestrado ou Doutorado.
    • Orientador: Ulrich Schiel.
    • Breve Descrição: Existem diversas relações semânticas em textos que não são devidamente exploradas para melhorar os resultados de consultas a bases de documentos. Em textos ocorrem relações de hiper-/hiponímia, meronímia, polisemia, sinonímia, acronímia, anáfora e outras. Deverá ser analisado até que ponto estas relações podem ser detectadas (semi-)automaticamente para melhorarem a precisão de um programa de indexação de documentos. Deverá ser feito uso de ontologias temáticas.

  • SINBAD-06-M
    • Título: Criação de bibliotecas digitais com índice semântico baseado em Ontologias
    • Nível: Mestrado.
    • Orientador: Ulrich Schiel.
    • Breve Descrição: Em documentos temáticos o tema pode ser um subsídio importante para a eliminação de ambiguidades de termos. Com documentos de treinamento podem ser gerados automatícamente ontologias temáticas que irão auxiliar na interpretação correta dos termos tanto em documentos a serem incluidos como nas consultas. Em Bibliotecas Digitais como bases de teses e dissertações ou bases de notícias, ocorre naturalmente esta tematização dos textos a partir de metadados existentes.