1
Assuntos:
“...Desenvolvimento de software...”
Desenvolvimento de software embarcado em plataformas de aeronaves civis : uma abordagem de certificação
Dissertação
2
Assuntos:
“...Desenvolvimento de software...”
Um conjunto de métricas de conformidade para projetos de desenvolvimento de software aeronáutico embarcado
Dissertação
3
Assuntos:
“...Desenvolvimento de software...”
Uma abordagem de safety no desenvolvimento e certificação de software crítico embarcado em aeronave civil.
Dissertação
4
Assuntos:
“...Desenvolvimento de software...”
Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos.
Dissertação
5
Assuntos:
“...Desenvolvimento de software...”
Using executable assertions for runtime fault detection in a model-based software development approach.
Dissertação
6
Assuntos:
“...Desenvolvimento de software...”
Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
Tese
7
Assuntos:
“...Desenvolvimento de software...”
Uma metodologia para a redução dos efeitos de inversões de bits em conversores digitais-analógicos de sistemas críticos.
Tese
8
Assuntos:
“...Desenvolvimento de software...”
Framework para desenvolvimento de sistemas embarcados automotivos
Dissertação
9
Assuntos:
“...Desenvolvimento de software...”
Projeto e implementação do software de sistema embarcado para rastreamento e telemetria de veículo.
Dissertação
10
Assuntos:
“...Desenvolvimento de software...”
Desenvolvimento de pilha de protocolos TCP/IP em sistema embarcado GPS.
Dissertação
11
Assuntos:
“...Desenvolvimento de software...”
Uma abordagem de garantia de segurança de software para sistemas críticos embarcados.
Dissertação
12
Assuntos:
“...Desenvolvimento de software...”
Modelagem e análise do software embarcado de piloto automático de um VANT.
Dissertação