Portal do Governo Brasileiro
s
Mostrando
1 - 2
resultados de
2
para a busca '
"GOMES, D. C. O."
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Autor:
Gomes, Bruno Emerson Gurgel
Outro:
UFRN
Mostrar filtros (2)
Autor:
Gomes, Bruno Emerson Gurgel
Outro:
UFRN
Resultados da busca: "GOMES, D. C. O."
Mostrando
1 - 2
resultados de
2
para a busca '
"GOMES, D. C. O."
'
, tempo de busca: 0,08s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
Por
Gomes, Bruno Emerson Gurgel
Publicado em 2007
Acessar documento
Dissertação
2
Desenvolvimento formal de aplicações para smartcards
Por
Gomes, Bruno Emerson Gurgel
Publicado em 2012
Acessar documento
Tese
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
2
Bases coletadas
Repositório Institucional da UFRN
2
Programa de Pós-Graduação
Programa de Pós-Graduação em Sistemas e Computação
2
Autor
Gomes, Bruno Emerson Gurgel
Orientador(a)
Déharbe, David Boris Paul
1
Moreira, Anamaria Martins
1
Tipo de documento
Tese
1
Dissertação
1
Tipo de acesso
openAccess
2
Idioma
Português
2
Assunto
Geração de código.
2
Desenvolvimento formal
1
Java Card
1
Java card
1
Método B
1
Método formal B
1
Mais ...
Métodos formais
1
Refinamento
1
Smart cards
1
Ver todos ...
menos ...
Assunto em inglês
B formal method
1
B method
1
Code generation
1
Code generation.
1
Formal development
1
Formal methods,
1
Mais ...
Java Card
1
Java card
1
Refinement
1
Smart cards
1
Ver todos ...
menos ...
Área do conhecimento CNPq
SISTEMAS DE COMPUTACAO
1
OUTROS
1
Ano da publicação
De:
Até:
Carregando...