1
Assuntos:
“...Teste de software...”
Modelo de automação de testes funcionais para desenvolvimento ágil de software
Dissertação
2
Assuntos:
“...Linha de Produto de Software...”
Um método de desenvolvimento de software combinando linha de produto de software com scrum: estudo de caso sistema de navegação de TV
Dissertação
3
Assuntos:
“...Software...”
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Dissertação
4
Assuntos:
“...Verificação de Software...”
Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes
Dissertação
5
Assuntos:
“...Componentes de Software...”
Geração automática de código para redes de sensores sem fio usando Communicating X-machine
Dissertação
6
Assuntos:
“...Controladores programáveis - Software...”
Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
Dissertação
7
Assuntos:
“...Coprojeto hardware/software...”
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Dissertação