1
Assuntos:
“...Método B...”
Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
Dissertação
2
3
Assuntos:
“...Método B...”
Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Dissertação
4
5
6
7
Assuntos:
“...Métodos formais...”
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
Dissertação
8
Assuntos:
“...Métodos formais...”
Aplicação do método B ao projeto formal de software embarcado
Dissertação
9
Assuntos:
“...método B...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação
10
Assuntos:
“...método B...”
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
Dissertação
11
Assuntos:
“...PLC. IEC 61131-3. Método B. Métodos formais. Sistemas críticos...”
Formal verification of PLC programs using the B Method
Dissertação
12
Assuntos:
“...Métodos iterativos...”
Um estudo da fatoração incompleta LU e Cholesky como pré-condicionadores nos métodos iterativos
Dissertação
13
Assuntos:
“...Método de elementos finitos generalizados...”
Tratamento de descontinuidade de material no método dos elementos finitos generalizado
Tese
14
Assuntos:
“...Métodos analíticos...”
Simulação numérica de ondas aquáticas não-lineares permanentes
Dissertação
15
Assuntos:
“...Método Runge-Kutta...”
Simulação de uma célula a combustível a etanol direto por meio de diferenças finitas
Dissertação
16
Assuntos:
“...Método analítico...”
Discursos sobre problemas aritméticos (São Paulo, 1890-1930)
Dissertação
17
Assuntos:
“...Método de decomposição...”
Metodos de decomposição de dominio e multigrid para a discretização, por elementos finitos, de equações de Maxuel em duas dimensões
Dissertação
18
Assuntos:
“...Método dos elementos finitos...”
Metodos numericos para problemas de convecção-difusão
Dissertação
19
Assuntos:
“...Metodismo...”
Metodismo e setores populares: análise da proposta de trabalho do Instituto Central do Povo (Rio de Janeiro, 1906-1930)
Dissertação