Search alternatives:
method programming » meta programming (Expand search), period programming (Expand search), end programming (Expand search)
developing method » developing methods (Expand search), development method (Expand search), developing motion (Expand search)
coder developing » modelo developing (Expand search), leader developing (Expand search), models developing (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)
method programming » meta programming (Expand search), period programming (Expand search), end programming (Expand search)
developing method » developing methods (Expand search), development method (Expand search), developing motion (Expand search)
coder developing » modelo developing (Expand search), leader developing (Expand search), models developing (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
3
4
“... aims at creating and developing a strategy to verify the code generation from the Circus formal method...”
Access document
Access document
Doctoral thesis
5
6
7
8
9
10
11
12
13
14
16
“...Atualmente, APIs (Application Programming Interface) enfrentam desafios comuns relacionados...”
Access document
Access document
Bachelor thesis
17
18
19
“... second case study, BETA was used to contribute to the validation of two code generators for the B Method...”
Access document
Access document
Master thesis
20