Buscas alternativas:
problem programming » robot programming (Expandir a busca), robots programming (Expandir a busca), problem reframing (Expandir a busca)
handling problem » landing problem (Expandir a busca), shuffling problem (Expandir a busca), bjorling problem (Expandir a busca)
coder handling » code handling (Expandir a busca), proper handling (Expandir a busca), water handling (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
manim python » monty python (Expandir a busca), api python (Expandir a busca), and python (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
problem programming » robot programming (Expandir a busca), robots programming (Expandir a busca), problem reframing (Expandir a busca)
handling problem » landing problem (Expandir a busca), shuffling problem (Expandir a busca), bjorling problem (Expandir a busca)
coder handling » code handling (Expandir a busca), proper handling (Expandir a busca), water handling (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
manim python » monty python (Expandir a busca), api python (Expandir a busca), and python (Expandir a busca)
coder coder » coder decoder (Expandir a busca), code code (Expandir a busca), decoder codec (Expandir a busca)
1
2
“... from Gospel specifications into actionable OCaml code. Limitations of the tool, especially in handling...”
Acessar documento
Acessar documento
Dissertação
4
5
6
“... anos, vários pesquisadores sugeriram diferentes técnicas de integração para tratar os problemas...”
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
7
8
9
10
11
“... to this problem is the Architecture-Driven Modernization (ADM), proposed by the OMG (Object Management...”
Acessar documento
Acessar documento
Dissertação
12
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
“... com estes problemas, uma possível solução é explorar as características já providas pelos model checkers, por exemplo...”Acessar documento
Tese
13
“... in the market. In order to improve problem points in the software, it is possible to use refactoring...”
Acessar documento
Acessar documento
Trabalho de conclusão de curso