Menu:

O PPgSC oferece cursos de Doutorado e Mestrado reconhecidos pelo MEC.

Campus Universitário
Lagoa Nova
Natal, RN
59078-970
BRASIL

tel: (55) 84 3215 3815
fax: (55) 84 3215 3813
Mapa

Conceito 4

Elos:

UFRN
DIMAp
CAPES
CNPq
FINEP
SBC
POSCOMP

Eventos promovidos:

Chip on the Dunes
SBCCI 2009
SBMICRO 2009
SForum 2009
SBCARS 2009
WMUPS 2009

ICTAC 2010

Dissertações de Mestrado

Defendidas em 2010

  1. Sistema Especialista Fuzzy para Dimensionamento de Bombeio Mecânico. Cassio Higino de Freitas, 22/02/2010.
  2. Criptoanálise Diferencial do Papilio. Isaac de Lima Oliveira Filho, 26/02/2010.
  3. Geração Automática de Testes a partir de Descrições de Linguagens. Cleverton Hentz Antunes, 01/03/2010.[PDF]
  4. Algoritmo Evolucionário para a Distribuição de Produtos de Petróleo por Redes de Polidutos. Thatiana Cunha Navarro de Souza, 02/03/2010.
  5. MARISA-AOCode: Uma Abordagem Genérica para Geração de Código Orientado a Aspectos. Everton Tavares Guimaraes, 04/03/2010.

Defendidas em 2009

  1. Métricas para avaliação de sistemas de middleware orientado a aspectos e aplicação em um sistema de monitoramento de poços de petróleo. Tássia Aparecida Vieira de Freitas, 20/02/2009. [PDF]
  2. AO-OIL: Um Middleware Orientado a Aspectos Baseado em uma Arquitetura de Referência. José Diego Saraiva da Silva, 26/02/2009. [PDF]
  3. Uma abordagem na camada de middleware para troca dinâmica de componentes em sistemas multimídia distribuídos baseados no framework Cosmos. [PDF] Ivanilson França Vieira Júnior, 20/03/2009.
  4. Simulação de Reservatórios de Petróleo em Ambiente MP-SoC. Bruno Cruz de Oliveira, 22/05/2009. [PDF]
  5. Processo dirigido por modelos para a E.R. subsidiado pelo uso de ontologias e linguagens naturais controladas. Raphael Mendes de Oliveira Cobe, 29/06/2009. [PDF]
  6. Uma análise de métodos de distribuição de atributos para construção de comitês de classificadores. Karliane Medeiros Ovidio Vale, 07/08/2009. [PDF]
  7. Um processo baseado em modelos para promover o alinhamento entre a estratégia de negócio e TI. Karlos Thadeu Matias Vital de Oliveira, 10/08/2009. [PDF]
  8. CrossMDA-SPL: Uma Abordagem para Gerência de Variações Baseadas em Módulos e Aspectos. Geam Carlos de Araújo Filgueira, 11/08/2009.[PDF]
  9. CrossMDA2: Promovendo o Desacoplamento de Pointcuts em um Processo de Desenvolvimento Orientado a Aspectos Dirigidos a Modelos. Victor Hugo de Carvalho Fernandes, 19/08/2009.
  10. Aplicação do Método B ao Projeto Formal de Software Embarcado. Valério Gutemberg de Medeiros Junior, 09/09/2009. [PDF]
  11. Geração de Casos de Teste a Partir de Especificações B. Fernanda Monteiro de Souza, 08/12/2009.

Defendidas em 2008

  1. Avaliação de Reusabilidade de Código de Aplicações Web Baseadas em Frameworks Orientados a Ações e a Componentes: Estudo de caso sobre os Frameworks Apache Struts e JavaServer Faces. André Medeiros Dantas, 08/01/2008. [PDF]
  2. Uma Análise Comparativa de Sistemas de Combinação de Classificadores com Distribuição Vertical dos Dados. Laura Emmanuella Alves Santana, 01/02/2008. [PDF]
  3. Avaliando o Modelo de Rede Neural RePART em Comitês com Diferentes Níveis de Diversidades. Araken de Medeiros Santos, 01/02/2008. [PDF]
  4. Um Ambiente Multi-Middleware para Desenvolvimento de Aplicações Distribuídas. André Gustavo Duarte de Almeida, 12/02/2008. [PDF]
  5. The Interval Constructor on MTL - Algebra and Axiomatic Extensions. Hélida Salles Santos, 15/02/2008. [PDF]
  6. CES – Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto. Frederico Araújo da Silva Lopes, 15/02/2008. [PDF]
  7. Proposta e Implementação de uma Arquitetura Reconfigurável Híbrida para Aplicações Baseadas em Fluxo de Dados. Mônica Magalhães Pereira, 21/02/2008. [PDF]
  8. Estudo da Viabilidade do Desenvolvimento de Sistemas Integrados Baseados em Redes em Chip sem Processadores: Sistema Inopsys. Silvio Roberto Fernandes de Araújo, 11/04/2008. [PDF]
  9. MARISA-MDD - Uma Abordagem para Transformações entre Modelos Orientados a Aspectos: dos Requisitos ao Projeto Detalhado. Ana Luísa Ferreira de Medeiros, 09/06/2008. [PDF]
  10. Construção de Mosaicos Georreferenciados Usando Imagens Aéreas de Pequeno Formato. Natal Henrique Cordeiro, 04/08/2008.
  11. Utilizando Mapas de Conectividade Fuzzy no Desenvolvimento de Algoritmos Reparadores de Imagens Binárias 3D. Íria Caline Saraiva Cosme, 04/08/2008. [PDF]
  12. Uma Arquitetura de Referência para o Desenvolvimento de Sistemas Interativos Multiplataformas. Fabiola Mariz da Fonseca, 08/08/2008. [PDF]
  13. WebFlowAH: Um Ambiente para Especificação e Execução ad-hoc de Processos de Negocio Baseados em Serviços Web. José Reginaldo de Sousa Mendes Júnior, 29/08/2008. [PDF]
  14. Dilema Acurácia/Diversidade: Um Estudo Empírico no Contexto de Multiclassificadores. Diogo Fagundes de Oliveira, 01/09/2008. [PDF]
  15. Lógicas BDI Fuzzy. Anderson Paiva Cruz, 26/09/2008. [PDF]
  16. Uma Abordagem baseada em Aspectos e Composição Dinâmica para a Construção de Aplicações Adaptativas Cientes ao Contexto. Isanio Lopes Araújo Santos, 10/11/2008. [PDF]
  17. Algoritmos de Agrupamento Aplicados a Dados de Expressão Gênica de Câncer: Um Estudo Comparativo. Daniel Sabino Amorim de Araújo, 11/11/2008. [PDF]

Defendidas em 2007

  1. Bridge: Uma Ferramenta para Design de Interfaces de Usuário Baseada em Especificações IMML. Salerno Ferreira de Sousa e Silva, 25/01/2007. [PDF]
  2. Um Modelo de Interconexão de Componentes para Ambientes Multimídia Distribuídos. Carlos Eduardo da Silva, 05/02/2007. [PDF]
  3. Algoritmo Transgenético na Solução do Problema do Caixeiro Comprador. Ligia Bariani Bagi, 09/02/2007. [PDF]
  4. Uma Abordagem através de Algoritmos Transgenéticos para o Problema da Configuração do Traçado de uma Rede de Distribuição de Gás Natural. Cristine Cunha Schmidt, 13/02/2007. [PDF]
  5. Segmentacao Fuzzy de Imagens de Video Lucas de Melo Oliveira, 23/02/2007. [PDF]
  6. Geração de Interfaces de Usuário de Sistemas Web para Múltiplos Dispositivos com o Uso de Componentes de IU. Lirisnei Gomes de Sousa, 26/02/2007. [PDF]
  7. Analisando Desempenho e Diversidade em Ensembles com Classificadores Construtivos. Susanny Mirelli Silveira Silva, 01/03/2007.
  8. Prova Automática de Satisfatibilidade Módulo Teoria Aplicada ao Método B. Cláudia Fernanda Oliveira Kiermes Tavares, 27/07/2007. [PDF]
  9. Utilizando Pesos Estáticos e Dinâmicos em Sistemas Multi-Classificadores com Diferentes Níveis de Diversidade. Raul Benites Paradeda, 27/07/2007. [PDF]
  10. Sistema de Agentes Poligínicos para Esteganálise de Imagens Digitais Samuel de Oliveira Azevedo, 06/08/2007.
  11. JCML - Java Card Modeling Language: Definição e Implementação. Plácido Antônio de Souza Neto, 06/09/2007. [PDF]
  12. Renderizações não Fotorealísticas para Estilização de Imagens e Vídeos Usando Areia Colorida. Laurindo de Sousa Britto Neto, 21/09/2007. [PDF]
  13. Implementação Hardware/Software da Estimação de Movimento Segudo o Padrão H.264. Milano Gadelha Carvalho, 28/09/2007. [PDF]
  14. Deciding Difference Logic in a Nelson-Oppen Combination Framework. Diego Caminha Barbosa de Oliveira, 07/11/2007. [PDF]
  15. BSmart: Desenvolvimento Rigoroso de Aplicações JavaCard com Base no Método B. Bruno Emerson Gurgel Gomes, 19/11/2007. [PDF]
  16. JFloat: Uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento controlado. José Frank Viana da Silva, 30/11/2007. [PDF]

Defendidas em 2006

  1. Comitês de Agrupamentos Aplicados a Dados de Expressão Gênica. Shirlly Christiany Macedo Silva, 20/01/2006. [PDF]
  2. Projeto e Implementação de uma Plataforma MP-SoC Usando SystemC. Rodrigo Soares de Lima Sá Rego, 06/02/2006. [PDF]
  3. Computação Evolucionária Aplicada a Problemas de Otimização Combinatória. Ilka Maria Soares Campos, 13/02/2006.
  4. Uma Abordagem por Nuvem de Partículas para Problemas de Otimização Combinatória. Givanaldo Rocha de Souza, 16/02/2006. [PDF]
  5. Um Estudo Algoritmico para Otimização do Plano de Tratamento da Radioterapia Conformal Bidimensional. Frederiko Stênio Luis Neves de Araújo, 16/02/2006.
  6. Bricks: Um Modelo Composicional com Suporte à Composição Baseada em Negociação de Propriedades de Interfaces. Frederico Borelli de Souza, 17/02/2006.[PDF]
  7. Visual IMML - Um Perfil UML para a Modelagem de Interfaces de Usuário. Thaís Lima Machado, 17/02/2006. [PDF]
  8. Algoritmo Memético com Vocabulary Building: Uma Aplicação ao Problema do Caixeiro Viajante Assimétrico. Jéssica Neiva de Figueiredo Leite, 20/02/2006. [PDF]
  9. Otimização em Braquiterapia de Alta Taxa de Dose com Algoritmo Transgenético. Ricardo Marx Costa Soares de Jesus, 20/02/2006. [PDF]
  10. Utilizando Programação Orientada a Aspectos no Projeto de Sistemas Hardware Desenvolvidos com SystemC. Sérgio Queiroz de Medeiros, 03/03/2006. [PDF]
  11. AGraphs:Definição, Implementação e Ferramentas. Demóstenes Santos de Sena, 28/04/2006. [PDF]
  12. Extração de Regras de Agrupamentos de Dados de Expressão Gênica. Welbson Siqueira Costa, 30/06/2006. [PDF]
  13. GeOntoQuery - Um Mecanismo de Busca em Banco de dados Geográficos Baseado em Ontologias. Renata Fernandes Viégas, 13/07/2006. [PDF]
  14. A aplicação de Ontologias para Métodos de negociação de um Sistema Multi-Agente para Reconhecimento de Padrões. Valéria Maria Siqueira Bezerra, 14/07/2006. [PDF]
  15. Uma Análise Experimental de Abordagens Heurísticas Aplicadas ao Problema do Caixeiro Viajante. Álvaro Nunes Prestes, 27/07/2006. [PDF]
  16. Modelagem de Arquiteturas Reconfiguráveis com Espaços de Chu. Camila de Araújo, 28/07/2006. [PDF]
  17. Uma Ontologia para a descrição da semântica da IMML. Heremita Brasileiro Lira, 28/07/2006. [PDF]
  18. X-ARM: Um Modelo de representação de Artefatos de Software. Michael Schuenck dos Santos, 04/08/2006. [PDF]
  19. Analisando o Desempenho do Class Age: um Sistema Multi-Agentes para a Classificação de Padrões. Márjory Cristiany Da Costa Abreu, 26/10/2006. [PDF]
  20. Um Estudo Algorítmico de Problemas Logísticos na Indústria de Petróleo e Gás Natural. Herbert de Melo Duarte, 16/11/2006. [PDF]
  21. Um Middleware Reflexivo e Orientado a Aspectos: Arquitetura e Implementações. Nélio Alessandro Azevedo Cacho, 15/12/2006. [PDF]

Defendidas em 2005

  1. Extensões Intervalares do Método de Segmentação de Imagens Digitais por K-Means: Estudos Comparativos e de Caso. Adriana Takahashi, 25/02/2005. [PDF]
  2. TVOICE: Um Sistema de Manipulação de Linguagens para Auxiliar Portadores de Necessidades Especiais Através da Web. Ítalo Herbert Santos e Gomes, 24/03/2005. [PDF]
  3. Metaheurísticas Paralelas para o Problema da Alocação de Sondas de Produção Terrestre: Desenvolvimento e Aplicação. Joseane Alves Pinheiro, 28/03/2005.
  4. Projeto e Implementação de um Processador com Conjunto de Instrução Reconfigurável Utilizando VHDL. Leonardo Augusto Casillo, 10/05/2005. [PDF]
  5. Avaliação de Desempenho de Protocolos de Roteamento para Redes Móveis Ad Hoc sob Condições de Tráfego de Aplicações de VideoFone. Glaucia Melissa Medeiros Campos, 02/06/2005. [PDF]
  6. Modelagem e Implementação de um Banco de Dados Geográficos para Apoio à Tomada de Decisão caso Maracajaú. Mateus Fernandes da Cunha, 11/08/2005. [PDF]
  7. Contribuições na Otimização Discreta por Nuvem de Partílas: Aplicação ao Problema do Caixeiro Viajante. Marilyn Cristine Serafin de Oliveira, 11/08/2005.
  8. Carcará: um Sistema Multi-Agentes para Busca na Web com Personalização Dinâmica de Usuários. Manuel Ferreira Gomes Júnior, 11/08/2005.
  9. O Problema do Bin-packing Tridimensional em Contêneires: Usando Interação com o Usuário. Carlos Heitor Pereira Liberalino, 15/08/2005.
  10. Sistema de Reescrita de Termos para Intervalos: Em Direção a um Modelo Formal para a Computação Intervalar. Adriano Xavier Carvalho, 15/08/2005.
  11. X-Conf: uma Infraestrutura de Gerenciamento e Configuração para Serviços de Distribuição de Vídeo Digital. Fernando Luiz de Almeida, 25/11/2005.

Defendidas em 2004

  1. Números Dinâmicos: Uma Abordagem Computacional Orientada a Objetos com Implementações na Linguagem Java Osmar Fernandes de Oliveira Júnior, 08/03/2004.
  2. Uma Ferramenta para Suporte Formal à Evolução e Reutilização para Linguagens de Especificação Algébrica com Semântica Inicial Anderson Santana de Oliveira, 08/04/2004.
  3. Algoritmos Evolucionários para o Problema de Dimensionamento dos Dutos de uma Rede Urbana de Distribuição de Gás Natural Data: Melissa Pereira de Castro, 15/04/2004.
  4. Algoritmo Simulated Annealing Híbrido para o Problema de Roteamento de Veículos com Frota Heterogênea Carlos Magno Reinert da Rocha Lima, 15/04/2004.
  5. Um Estudo Algorítmico para o Problema do Dimensionamento de Dutos em uma Rede Urbana de Distribuição de Gás Natural Wagner Emanoel Costa, 16/04/2004.
  6. A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos Katiane Ribeiro Lopes, 16/04/2004.
  7. Abordagem Evolucionária para Problemas da Cogeração e do Roteamento da Unidade Móvel do Pistoneio Francisco Dantas de Medeiros Neto, 16/04/2004.
  8. Malha de Interconexão para Sistemas Integrados em Chip Único José Iran Saraiva da Silva, 22/04/2004. [PDF]
  9. PUPSI - Proposta de Processo Unificado para Políticas de Segurança da Informação Ivano Miranda dos Anjos, 30/04/2004. [PDF]
  10. Um Sistema de Apoio a Decisão para Gerenciamento Dinâmico das Sondas de Produção Terrestres na Bacia Potiguar Rosiery da Silva Maia, 19/05/2004.
  11. N2N Framework: Uma Plataforma para Desenvolvimento de Sistemas Colaborativos Distribuídos Aquiles Medeiros Filgueira Burlamaqui, 16/07/2004. [PDF]
  12. Combinando Aspectos e Componentes: Uma Abordagem Interpretada Fabrício de Alexandria Fernandes, 30/08/2004. [PDF]
  13. Um Serviço de Certificação Digital para Plataformas de Middleware Caio Sérgio de Vasconcelos Batista, 21/09/2004. [PDF]
  14. Contribuições para Verificação Automática de Applets JavaCard Antônio Augusto Oliveira Viana da Silva, 13/10/2004. [PDF]
  15. Computação Intervalar em Redes Neurais Perceptron Raquel Esperanza Patino Escarcina, 26/11/2004

Defendidas em 2003

  1. Elaboração e Implementação de uma Estratégia Computacional para Otimização da Configuração do Serviço de Distribuição de Vídeo DynaVideo. Luiz Eduardo Cunha Leite, 07/03/2003.
  2. Uso de Replicação Móvel para Distribuição de Vídeo Digital em Redes de Computadores. Renata Sofia Pinho de Aquino Alves, 14/03/2003. [PDF]
  3. AXEL: Uma Ferramenta Gráfica Baseada em Código Aberto para Auxílio à Administração Integrada de Sistemas de Detecção de Instrusão e Firewalls. Carlos Henrique Grilo Diniz, 14/03/2003.
  4. Um Modelo de Objetos Baseados em CORBA para o Gerenciamento Distribuído de Redes de Computadores. Rommel Wladimir de Lima, 24/03/2003.
  5. Nkey: Um Protocolo para o Gerenciamento de Chaves de Grupo Assimétricas. Carlos Gustavo Araújo da Rocha, 25/03/2003.
  6. Um Método para Modificação de Processos Legados Utilizando SPEM e Processo Unificado. Zalkind Lincoln Dantas Rocha, 22/04/2003.
  7. Seleção Dinâmica de Componentes CORBA. José Neilton Dias de Morais, 28/04/2003.
  8. Especificação do Tipo Intervalar Parametrizado em CASL. Samara Pereira da Costa Melo, 22/08/2003. [PDF]
  9. Lógica Difusa no Controle de Parâmetro do Algoritmo Genético para o Problema do Caixeiro Viajante. Andréia Philipp Cavalheiro, 29/09/2003.
  10. LObSec: Uma Biblioteca para Construção de Objetos Distribuídos Seguros. Stéphany Moraes Martins, 15/12/2003.

Defendidas em 2002

  1. Ordenação Inicial de BDDs para a Verificação de Sistemas de Transição Finita. Jorgiano Márcio Bruno Vidal, 04/02/2002. [PDF]
  2. SGUMP: Um sistema Computacional Georreferenciado de Apoio à Decisão para Otimização do Gerenciamento de Unidades Móveis de Pistoneio. Andréa Cynthia dos Santos, 05/02/2002.
  3. Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática à Teoria Fuzzy. Maria Mônica Macêdo Torres Silveira, 18/02/2002.
  4. Integrando Padrões Através de Meta-Modelos. Lyrene Fernandes da Silva, 20/02/2002.
  5. Modelando Uma Arquitetura PRAM-CRCW com Espaços de Chu. Maria José Lima dos Santos, 21/02/2002.
  6. Teoria dos Conjuntos Dominantes e Aplicações em Algumas Classes de Grafos. Raimundo Nonato Camelo Parente, 21/02/2002
  7. PAPÍLIO: Proposta de Um Algoritmo de Criptografia Baseado no Algoritmo Viterbi e Codificação Convolucional. Karla Darlene Nepomuceno Ramos, 22/02/2002
  8. Arquitetura e Biblioteca para FERUS - Apoio Formal à Especificação e Re-Utilização de Componentes de Software. Samantha Escobar Peraça, 01/03/2002.
  9. Segurança Contra à Falsificação de Endereços IP na Resolução de Nomes no DNS. Vagner José do Sacramento Rodrigues, 01/03/2002.
  10. Design e Avaliação de Sistemas Multimídia para Web: Um Estudo de Caso. Antonio José Portella Almeida, 01/03/2002.
  11. Quiosque Informativo para os Programas de Saúde Pública. Guilherme Fábio de Melo, 03/06/2002
  12. Algoritmos Evolucionários na Solução do Problema de Programação de Sondas de Produção Terrestre. Márcia Borchardt, 28/06/2002. [PDF]
  13. Otimização do Gerenciamento das Intervenções em Poços de Petróleo por Sondas de Produção Terrestre: Uma Abordagem Metaheurística. Francisco Chagas de Lima Júnior, 16/09/2002.
  14. SNIFERA: Um Modelo de Sistema de Informações para Sistemas de Qualidade Baseados na Família de Normas ISO 9000/9001/9000-3. Sergio Ramiro Rivero Guardia, 17/12/2002.

Defendidas em 2001

  1. Algoritmo transgenético para o problema do passeio do pistoneio. Ana Carla Cabral Fernandes, 19/02/2001.
  2. Uma abordagem transgenética para o problema da coloração de grafo. Lívia Maria Martins da Silva, 19/02/2001.
  3. Meta-heurística busca tabu aplicada a solução do problema da unidade móvel do pistoneio. Neuza Maria Dantas, 19/02/2001.
  4. FMTA: Um Framework para Monitoramento de Tráfego em Aplicações Multimídia. Marcos César Madruga Alves Pinheiro, 01/03/2001.
  5. Especificação e Implementação do DynaVideo VoD Server. Pedro Júnior Amancio de Lima, 01/03/2001.
  6. POIROT - Um ambiente para avaliação de interfaces de usuário. Tatiana Aires Tavares, 13/03/2001.
  7. Uma aplicação do GRASP na otimização do emprego da unidade móvel de pistoneio. Carlos Avelino de Barros, 20/04/2001.
  8. Um framework para desenvolvimento de sistemas de apoio a atividades práticas. Ivanosca Andrade da Silva, 18/05/2001.
  9. Em direção à uma representação para equações algébricas: Uma lógica equacional local. José Medeiros dos Santos, 17/07/2001. [PDF]
  10. Análise de confiabilidade das sondas de produção terrestre - SPT's - na manutenção dos poços da bacia potiguar RN/CE. Juciara do Nascimento César, 10/12/2001

Defendidas em 2000

  1. Teoria dos grafos e sistemas de informações geográficas: uma alternativa de integração. Antônio de Pádua Miranda Henriques, 20/01/2000.
  2. JAVA-XSC: Uma Biblioteca JAVA para Computação Intervalares. José Enéas Montenegro Dutra, 14/02/2000.
  3. Acessibilidade na Internet para Deficientes Visuais. Andrea dos Santos Rodrigues, 17/02/2000.
  4. Concepção e Implementação de Uma Malha de Interconexão Crossbar. Nádja Rogéria Araújo Cândido, 21/02/2000.
  5. Uso da Internet como Recurso Estratégico na Gestão do Relacionamento com o Cliente. Selma Monteiro da Silva Veldman, 21/02/2000.
  6. Educação a Distância Via Web - Desenvolvimento de um Modelo Conceitual. Apuena Vieira Gomes, 22/02/2000.
  7. Concepção Multi-Agentes para Implementação do Raciocínio Aproximado. Marcos Antônio de Oliveira, 14/04/2000.
  8. Estudo Conceitual do Paradigma Baseado em Agentes como Solução Computacional de Problemas. Anne Christine Leite Siqueira, 03/08/2000.
  9. Concepção de um Modelo Conceitual Multi-Agentes de Aprendizado Indutivo. Fabíola Paiva de Souza, 04/08/2000.
  10. Uma estratégia meta-heurística híbrida genética de grupamento para a solução do problema do bin-packing. Marcelo Mariano da Silva, 04/08/2000.
  11. Modelos para Qualidade de Software: Um Estudo Comparativo. Ytalo Rosendo do Amaral, 04/08/2000.
  12. Uma aplicação de algoritmo genético na otimização do emprego da unidade móvel de pistoneio. Josemir Araújo Neves, 07/08/2000.
  13. Contaminações Virais na Aceleração da Solução do Problema do Passeio do Pistoneio. Inalva Ferreira, 25/08/2000.
  14. Uma Proposta de Modelo Conceitual para Elicitação de Requisitos de Sistemas Dinâmicos. Paulo Cesar Moreira Gottgtroy, 13/11/2000.
  15. A linguagem de descrição de arquiteturas ZCLcsp. Bartira Paraguaçu Falcão Dantas, 11/12/2000.
  16. Ordenação de variáveis de BDDs utilizando algoritmos genéticos paralelos. Umberto Souza da Costa, 14/12/2000. [PDF]
  17. Equivalência e consistência entre funções intervalares. Márcia Maria de Castro Cruz, 15/12/2000.

Defendidas em 1999

  1. Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar. Aarão Lyra, 11/02/1999. [PS]
  2. Algoritmos genéticos na solução do problema do caixero viajante. Joaquim Elias Lucena de Freitas, 31/03/1999.
  3. Especificação formal de mecanismos de sincronização em aplicações multimídias baseadas no PREMO. Cláudia Maria Fernandes Araújo Ribeiro, 26/07/1999. [PDF]
  4. Metodologias para o desenvolvimento de sistemas dinâmicos: uma análise comparativa. Leonilda Maria Magalhães de Souza, 15/12/1999.

Defendidas em 1997

  1. Rendimento escolar corrigido como garantia de qualidade no acesso ao ensino superior. Iloneide Carlos de Oliveira Ramos, 18/11/1997. [PDF]
  2. Otimização do corte: ênfase na indústria de confecção. João Soriano Cruz, 23/12/1997

Última atualização realizada em quarta-feira, 10 de março de 2010, as 04:59.