Buscas alternativas:
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
1
Assuntos:
“...Constraint programming...”
Automated verification of care pathways using constraint programming
Dissertação
2
Assuntos:
“...Application Programming Interface...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação
3
Assuntos:
“...Algorithms...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
4
Assuntos:
“...Constraint programming...”
Planejamento integrado da cadeia de suprimentos da indústria do petróleo baseado em agentes holônicos.
Tese
5
Assuntos:
“...Mathematical programming...”
Análises e métodos de otimização para eficiência energética de estações elevatórias em sistemas de abastecimento de água.
Tese
6
Assuntos:
“...Mathematical programming...”
Análises e métodos de otimização para eficiência energética de estações elevatórias em sistemas de abastecimento de água.
Tese
7
“... specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern...”
Uma linguagem de especificação formal orientada por aspectos
Dissertação
8
9
“...Program synthesis aims to automate the task of programming. Through program synthesis...”
Program synthesis from denotational semantics
Dissertação
10
“... mathematical modeling of problems presented and using sequential algorithms and writings parallels in the...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
11
“.... Using an appropriate formulation of the method and the Object Oriented Programming (OOP), it was...”
Análise e otimização de estruturas laminadas utilizando a formulação isogeométrica
Dissertação