Search alternatives:
component code » component mode (Expand search), component cone (Expand search), component model (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)
using script » using scripts (Expand search), during script (Expand search), using scripting (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (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)
using script » using scripts (Expand search), during script (Expand search), using scripting (Expand search)
1
“.... The planning of such constructs has traditionally been done manually using a DNA sequence editor which...”
Access document
Access document
Article
2
3
5
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Access document
Access document
Master thesis
6
7
8
9
10
11
12
13
14
15
16
17
18
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Access document
Access document
19
20