1
Assuntos:
“...Métodos formais...”
A process for sound conformance testing of cyber-physical systems
Dissertação
2
Assuntos:
“...Métodos formais...”
A framework for the specification and validation of Real Time Systems using Circus Action
Dissertação
3
Assuntos:
“...Métodos formais...”
Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho.
Tese
4
Assuntos:
“...Métodos formais...”
Avaliação de desempenho do serviço de controle de concorrência usando Redes de Petri Estocástica
Dissertação
5
Assuntos:
“...Métodos Formais, Cálculo de refinamentos, Orientação a objet...”
Refactoring as formal refinements
Tese
6
Assuntos:
“...Métodos formais...”
Definição e implementação do sistema de tipos da linguagem circus
Dissertação
7
8
Assuntos:
“...Metodos formais...”
Identificação de nomes ativos em agentes-π baseada em tipos
Dissertação
9
10
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
11
Assuntos:
“...Métodos Formais...”
Um estudo empírico sobre geração de testes com BETA: Avaliação e aperfeiçoamento
Dissertação
12
Assuntos:
“...Métodos formais (Computação) -...”
Um arcabouço para verificação automática de modelos UML
Tese
13
Assuntos:
“...Métodos formais (Computação) -...”
Inferência de identidade genética em larga escala : uma abordagem baseada em verificação simbólica de modelos
Tese
14
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
15
Assuntos:
“...OhCircus, Integração de métodos formais...”
Desenvolvimento rigoroso com Uml-Rt
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:
“...Métodos Formais...”
GIRL: uma linguagem de modelagem e verificação de requisitos invariantes.
Dissertação