Buscas alternativas:
component code » component mode (Expandir a busca), component cone (Expandir a busca), component model (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
drying python » drying method (Expandir a busca), using python (Expandir a busca), drying patio (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
in component » in components (Expandir a busca), main component (Expandir a busca), and component (Expandir a busca)
using drying » during drying (Expandir a busca), using driving (Expandir a busca), using drawings (Expandir a busca)
code in » code and (Expandir a busca)
component code » component mode (Expandir a busca), component cone (Expandir a busca), component model (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
drying python » drying method (Expandir a busca), using python (Expandir a busca), drying patio (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
in component » in components (Expandir a busca), main component (Expandir a busca), and component (Expandir a busca)
using drying » during drying (Expandir a busca), using driving (Expandir a busca), using drawings (Expandir a busca)
code in » code and (Expandir a busca)
1
2
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Acessar documento
Acessar documento
Dissertação
4
5
6
7
8
9
10
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Acessar documento
Acessar documento
11
12
13
14
15
17
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Acessar documento
Acessar documento
Tese
18
19
20