Search alternatives:
problem programming » robots programming (Expand search), robot programming (Expand search), problem reframing (Expand search)
handling problem » landing problem (Expand search), shuffling problem (Expand search), bjorling problem (Expand search)
coder handling » code handling (Expand search), proper handling (Expand search), water handling (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
problem programming » robots programming (Expand search), robot programming (Expand search), problem reframing (Expand search)
handling problem » landing problem (Expand search), shuffling problem (Expand search), bjorling problem (Expand search)
coder handling » code handling (Expand search), proper handling (Expand search), water handling (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
“... from Gospel specifications into actionable OCaml code. Limitations of the tool, especially in handling...”
Access document
Access document
Master thesis
4
5
6
“... anos, vários pesquisadores sugeriram diferentes técnicas de integração para tratar os problemas...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
7
8
9
10
11
“... to this problem is the Architecture-Driven Modernization (ADM), proposed by the OMG (Object Management...”
Access document
Access document
Master thesis
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...”Access document
Doctoral thesis
13
“... in the market. In order to improve problem points in the software, it is possible to use refactoring...”
Access document
Access document
Bachelor thesis