Buscas alternativas:
"Verificação de programas computadores " » "Verificação de programa computadores " (Expandir a busca), "Verificação de programas computador " (Expandir a busca)
"Verificação de programas computadores " » "Verificação de programa computadores " (Expandir a busca), "Verificação de programas computador " (Expandir a busca)
1
Assuntos:
“...Verificação de programas (computadores)...”
Um estudo sobre refatoração de código de teste.
Dissertação
2
Assuntos:
“...Verificação de programas (computadores)...”
Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
Tese
3
Assuntos:
“...Verificação de programas (computadores)...”
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Dissertação
4
Assuntos:
“...Verificação de programa (computadores)...”
Um estudo comparativo entre o teste de mutação e o MC/DC no desenvolvimento de software aeronáutico, utilizando-se o paradigma "Model Based Design"
Dissertação
5
Assuntos:
“...Verificação de programa (computadores)...”
Modelagem e verificação formal do software embarcado de um simulador de satélite
Dissertação
6
Assuntos:
“...Verificação de programa (computadores)...”
Model checking aplicado a software embarcado crítico do satélite universitário ITASAT
Dissertação
7
Assuntos:
“...Verificação de programa (computadores)...”
Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado
Tese