1
Assuntos:
“...Método FORM...”
Avaliação da confiabilidade de vigas metálicas dimensionadas pela NBR 8800.
Dissertação
2
3
Assuntos:
“...Métodos formais...”
A process for sound conformance testing of cyber-physical systems
Dissertação
4
Assuntos:
“...Métodos formais...”
A framework for the specification and validation of Real Time Systems using Circus Action
Dissertação
5
Assuntos:
“...Métodos formais...”
Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho.
Tese
6
Assuntos:
“...Metodos formais...”
Identificação de nomes ativos em agentes-π baseada em tipos
Dissertação
7
Assuntos:
“...Métodos formais...”
Avaliação de desempenho do serviço de controle de concorrência usando Redes de Petri Estocástica
Dissertação
8
Assuntos:
“...Métodos Formais, Cálculo de refinamentos, Orientação a objet...”
Refactoring as formal refinements
Tese
9
Assuntos:
“...Métodos formais...”
Definição e implementação do sistema de tipos da linguagem circus
Dissertação
10
11
12
Assuntos:
“...Métodos formais (Computação)...”
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Dissertação
13
Assuntos:
“...Métodos Formais...”
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
Dissertação
14
Assuntos:
“...OhCircus, Integração de métodos formais...”
Desenvolvimento rigoroso com Uml-Rt
Dissertação
15
Assuntos:
“...Métodos Formais...”
Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
Dissertação
16
Assuntos:
“...Métodos formais (Computação)...”
Melhorando a segurança de programas numéricos
Dissertação
17
Assuntos:
“...Métodos formais...”
Coordenação e reconfiguração dinâmica de componentes em uma plataforma de computação paralela
Dissertação
18
Assuntos:
“...Métodos formais...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
19
Assuntos:
“...Metodos formais...”
Especificação e análise de sistemas através de gramática de grafos
Dissertação
20
Assuntos:
“...Metodos formais...”
Calculus semantic with values passing in the denotational approach
Dissertação