Search alternatives:
java programming » and programming (Expand search), based programming (Expand search), goal programming (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder method » powder method (Expand search), holder method (Expand search), power method (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 java » method avp (Expand search), method avs (Expand search), method japer (Expand search)
java programming » and programming (Expand search), based programming (Expand search), goal programming (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder method » powder method (Expand search), holder method (Expand search), power method (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 java » method avp (Expand search), method avs (Expand search), method japer (Expand search)
1
2
3
“... aims at creating and developing a strategy to verify the code generation from the Circus formal method...”
Access document
Access document
Doctoral thesis
4
5
6
7
8
9
10
11
Subjects:
“...[en] DESIGN METHOD...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
12
13
14
15
16
“...Modern programming languages (e.g., Java and C#) provide features to separate error-handling code...”
Access document
Access document
Master thesis
17
“... development. Until then, only Java and C++ were part of this list. Among the reasons for choosing Kotlin...”
Access document
Access document
Master thesis
18
19
20