Portal do Governo Brasileiro
s
Mostrando
1 - 7
resultados de
7
para a busca '
'
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
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Assunto:
Método B
Outro:
UFRN
E
Repositório Institucional da UFRN
Idioma:
Português
Mostrar filtros (5)
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Assunto:
Método B
Outro:
UFRN
E
Repositório Institucional da UFRN
Idioma:
Português
Resultados da busca
Mostrando
1 - 7
resultados de
7
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Método B e a síntese verificada para código de montagem
Por
Medeiros Júnior, Valério Gutemberg de
Publicado em 2016
Acessar documento
Tese
2
BTestBox: uma ferramenta de teste para implementações B
Por
Oliveira, Diego de Azevedo
Publicado em 2018
Acessar documento
Dissertação
3
Beta: a B based testing approach
Por
Matos, Ernesto Cid Brasil de
Publicado em 2016
Acessar documento
Tese
4
Aplicação do método B ao projeto formal de software embarcado
Por
Medeiros Júnior, Valério Gutemberg de
Publicado em 2009
Acessar documento
Dissertação
5
Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Por
Tavares, Cláudia Fernanda Oliveira Kiermes
Publicado em 2007
Acessar documento
Dissertação
6
Especificação do micronúcleo FreeRTOS utilizando o método B
Por
Galvão, Stephenson de Sousa Lima
Publicado em 2011
Acessar documento
Dissertação
7
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
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Norte (UFRN)
7
Bases coletadas
Repositório Institucional da UFRN
7
Programa de Pós-Graduação
Programa de Pós-Graduação em Sistemas e Computação
4
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
3
Autor
Medeiros Júnior, Valério Gutemberg de
2
Galvão, Stephenson de Sousa Lima
1
Gomes, Bruno Emerson Gurgel
1
Matos, Ernesto Cid Brasil de
1
Oliveira, Diego de Azevedo
1
Tavares, Cláudia Fernanda Oliveira Kiermes
1
Orientador(a)
Déharbe, David Boris Paul
3
Deharbe, David Boris Paul
2
Moreira, Anamaria Martins
2
Tipo de documento
Dissertação
5
Tese
2
Tipo de acesso
openAccess
7
Idioma
Português
Assunto
Método B
Métodos formais
4
Teste de software
2
Atelier-B
1
Cobertura de código
1
Engenharia de software
1
Mais ...
Especificação
1
Ferramenta
1
FreeRTOS
1
Geração de código.
1
Java Card
1
Linguagem de montagem
1
Obrigações de prova
1
Satisfatibilidade módulo teoria.
1
Teoria dos conjuntos
1
Testes baseados em modelos
1
Tradução de modelos
1
Verificação de Assembly
1
Verificação de tradução
1
Verificação formal
1
Ver todos ...
menos ...
Assunto em inglês
B method
2
Code generation
1
Formal methods
1
Formal methods,
1
FreeRTOS
1
Java Card
1
Mais ...
Software engineering
1
Specification
1
Verified compilation, B method
1
Ver todos ...
menos ...
Área do conhecimento CNPq
SISTEMAS DE COMPUTACAO
Ano da publicação
De:
Até:
Carregando...