Skip navigation
Página inicial
Navegar
Comunidades e coleções
Navegar nos Itens por:
Data do documento
Todos os autores
Título
Assunto
Tipo de documento
Direito de acesso
Tutoriais
Tutorial de acesso
Tutorial de depósito TCC
Tutorial Orientador validação TCC
Tutorial Biblioteca revisão TCC
Fluxo TCC
Fluxo de Tese e Dissetação
Fluxo de Produto Educacional
Sobre RI
Folder RI
Padrão de metadados
Política de informação
Resolução do RI 2021
Comissção Gestora 2023 RI
Termo de autorização
Comissão gestora
SNLB: Acesso aberto na UFRN
Alterar contraste
Amarelo
Azul
Verde
sem contraste
Entrar em:
Meu espaço
Receber atualizações
por e-mail
Editar perfil
Universidade Federal do Rio Grande do Norte
Página de Busca
Buscar em:
Todo o repositório
BDTD - Biblioteca Digital de Teses e Dissertações
Programa de Pós-Graduação em Sistemas e Computação
PPGSC - Mestrado em Sistemas e Computação
por
Filtros correntes:
Título
Autor
Orientedor
Assunto
Data de publicação
Tem Arquivo
Produto educacional
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Título
Autor
Orientedor
Assunto
Data de publicação
Tem Arquivo
Produto educacional
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Retornar valores
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Título
Autor
Orientedor
Assunto
Data de publicação
Tem Arquivo
Produto educacional
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Resultado 1-10 de 24.
Anterior
1
2
3
Póximo
Conjunto de itens:
Data do documento
Título
Autor(es)
10-Fev-2012
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Santos, Simone de Oliveira
5-Mar-2012
Uma análise experimental de algoritmos exatos aplicados ao problema da árvore geradora multiobjetivo
Drumond, Patricia Medyna Lauritzen de Lucena
26-Fev-2012
Geração procedural de cenários orientada a objetivos
Duarte, Philip Michel
23-Mai-2012
Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software
Sousa, Lidiane Oliveira dos Santos
23-Fev-2012
Java-XSC : módulo complexo e complexo intervalar
Gonçalves, Marciano Lourenço da Silva
10-Fev-2012
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
Matos, Ernesto Cid Brasil de
26-Jul-2012
Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório
Melo, Hugo Faria
27-Fev-2012
Um estudo algorítmico da programação da intervenção de sondas de produção
Sabry, Gustavo de Araujo
5-Set-2012
Avaliação de arquitetura de agentes emocionais : uma abordagem baseada em métrica de qualidade e na influência das emoções sobre usuários
Meira, Marcilio de Oliveira
17-Ago-2012
Avaliação da execução de aplicações orientadas à dados na arquitetura de redes em chip IPNoSys
Nobre, Christiane de Araújo
Busca facetada
Autor
1
Barbosa, Haniel Moreira
1
Coelho, Keivilany Janielle de Lima
1
Cruz, Anderson Paiva
1
Dantas, George Henrique Costa
1
Dantas, Priscilla Victor
1
Drumond, Patricia Medyna Lauritze...
1
Duarte, Philip Michel
1
Feitosa Neto, Antonino Alves
1
Gonçalves, Marciano Lourenço da S...
1
Matos, Ernesto Cid Brasil de
.
próximo >
Assunto
23
CIENCIAS EXATAS E DA TERRA
23
CIENCIAS EXATAS E DA TERRA::CIENC...
21
CIENCIAS EXATAS E DA TERRA::CIENC...
2
Algoritmos experimentais
2
B method
2
método B
2
Otimização combinatória
2
software engineering
1
Acceleo
1
Agent architecture
.
próximo >
Tem Arquivo
24
true