Search alternatives:
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
locking method » blocking methods (Expand search), stocking method (Expand search), cooking method (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
using locking » using docking (Expand search), using stacking (Expand search), using tracking (Expand search)
method python » method method (Expand search), python python (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
locking method » blocking methods (Expand search), stocking method (Expand search), cooking method (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
using locking » using docking (Expand search), using stacking (Expand search), using tracking (Expand search)
method python » method method (Expand search), python python (Expand search)
2
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Access document
Access document
Master thesis
3
4
5
6
7
8
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Access document
Access document
9
10
11
12
13
14
15
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Access document
Access document
Doctoral thesis
16
17
18
19
20