Buscas alternativas:
specification programming » application programming (Expandir a busca), specific programming (Expandir a busca), application programing (Expandir a busca)
software specification » software verification (Expandir a busca), software application (Expandir a busca)
parallel software » parallel state (Expandir a busca)
specification programming » application programming (Expandir a busca), specific programming (Expandir a busca), application programing (Expandir a busca)
software specification » software verification (Expandir a busca), software application (Expandir a busca)
parallel software » parallel state (Expandir a busca)
1
Assuntos:
“...Engenharia : Software...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
2
Assuntos:
“...Componentes de software...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
3
Assuntos:
“...Engenharia de software...”
MDWA : uma abordagem guiada por modelos para desenvolvimento de software Web
Dissertação
4
Assuntos:
“...Teste de software...”
Uma estratégia para a avaliação e evolução de teste funcional de software
Dissertação
5
Assuntos:
“...Parallel computing...”
Paralelização do cálculo de estruturas de bandas de semicondutores usando o High Performance Fortran
Dissertação
6
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
7
Assuntos:
“...Componentes de software...”
Coordenação e reconfiguração dinâmica de componentes em uma plataforma de computação paralela
Dissertação
8
Assuntos:
“...::ENGENHARIA DE SOFTWARE...”
Desenvolvimento de Interface gráfica como suporte para soluções numéricas das equações de Maxwell em coordenadas gerais – 3D
Dissertação