1
Assuntos:
“...Verificação e validação...”
Proposta de protocolo de avaliação de softwares empregados em um meio naval com propulsão nuclear
Dissertação
2
Assuntos:
“...Verificação e validação de software...”
Applying formal verification techniques to embedded software in UAV design
Dissertação
3
Assuntos:
“...Verificação e validação...”
PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto
Tese
4
Assuntos:
“...Verificação e validação de software...”
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Dissertação
5
Assuntos:
“...Verificação e Validação...”
Desenvolvimento de processo de testes de software no contexto automotivo (PROTSA)
Dissertação
6
Assuntos:
“...Verificação e Validação de Dados...”
Análise de cobertura funcional na fase de integração de blocos de circuitos digitais.
Tese
7
Assuntos:
“...Verificação e validação...”
Uma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modelo
Dissertação
8
Assuntos:
“...Verificação e Validação...”
Um processo de verificação e validação para os componentes do núcleo comum do middleware ginga
Dissertação