Buscas alternativas:
java programming » math programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
line systems » line system (Expandir a busca), linear systems (Expandir a busca), alone systems (Expandir a busca)
systems java » systems data (Expandir a busca), systems and (Expandir a busca), systems an (Expandir a busca)
java programming » math programming (Expandir a busca), fetal programming (Expandir a busca), goal programming (Expandir a busca)
line systems » line system (Expandir a busca), linear systems (Expandir a busca), alone systems (Expandir a busca)
systems java » systems data (Expandir a busca), systems and (Expandir a busca), systems an (Expandir a busca)
1
Assuntos:
“...Programming by Contract...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação
2
Assuntos:
“...Programming by Contract...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação
3
Assuntos:
“...Programação não linear...”
Modelo individualizado de usinas hidrelétricas baseado em técnicas de programação não linear integrado com o modelo de decisão estratégica
Dissertação
4
Assuntos:
“...Programação não linear...”
Modelo individualizado de usinas hidrelétricas baseado em técnicas de programação não linear integrado com o modelo de decisão estratégica
Dissertação
5
6
7
Assuntos:
“...Hydrothermal systems...”
Processo iterativo de construção da função de custo futuro na metodologia PDE-ConvexHull
Dissertação
8
Assuntos:
“...Parallel Programming...”
Fault tolerance for high-level parallel and distributed stream processing in C++
Dissertação
9
Assuntos:
“...Java (Computer program language)...”
Investigating feature-oriented software comprehension
Tese
10
Assuntos:
“...Electrical Power Systems...”
INTEGRAÇÃO DE METODOLOGIAS PARA AVALIAÇÃO DO CUSTO DA SEGURANÇA DINÂMICA EM MERCADOS ELÉTRICOS
Dissertação
11
Assuntos:
“...Product lines...”
Uma abordagem orientada a aspectos para desenvolvimento de linhas de produtos de software
Dissertação
12
Assuntos:
“...Distributed systems...”
Uma técnica de análise de conformidade comportamental para sistemas distribuídos.
Dissertação
13
Assuntos:
“...Distributed systems...”
Uma técnica de análise de conformidade comportamental para sistemas distribuídos.
Dissertação
14
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
15
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
16
Assuntos:
“...Systems of nonlinear algebraic equations...”
Inversão numérica de funções na determinação de pontos críticos de misturas
Tese
17
Assuntos:
“...[en] MULTI-AGENT SYSTEMS...”
[en] FROM OBJECTS TO AGENTS: AN ASPECT ORIENTED APPROACH
Tese
18
Assuntos:
“...Software product lines. Exception handling. Static code analysis...”
Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório
Dissertação
19
Assuntos:
“...Web systems....”
Melhoria contínua da qualidade no processo de produção da camada Back-end de sistemas web em arquitetura REST
Dissertação