Search alternatives:
code component » core component (Expand search), mode component (Expand search), mode components (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
genetic python » genetic prion (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
code code » code cdc (Expand search), code co (Expand search)
code component » core component (Expand search), mode component (Expand search), mode components (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
genetic python » genetic prion (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
code code » code cdc (Expand search), code co (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
“... programming language to solve the DC model TEP problem, using the genetic algorithm together with the...”
Access document
Access document
Bachelor thesis
9
10
11
12
13
14
15
16
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Access document
Access document
17
18
19
20