Buscas alternativas:
fitting methods » costing methods (Expandir a busca), feeding methods (Expandir a busca)
component code » component mode (Expandir a busca), component cone (Expandir a busca), component model (Expandir a busca)
methods python » methods action (Expandir a busca), pythons python (Expandir a busca), methods method (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
using fitting » using cutting (Expandir a busca), sine fitting (Expandir a busca), using lifting (Expandir a busca)
fitting methods » costing methods (Expandir a busca), feeding methods (Expandir a busca)
component code » component mode (Expandir a busca), component cone (Expandir a busca), component model (Expandir a busca)
methods python » methods action (Expandir a busca), pythons python (Expandir a busca), methods method (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
using fitting » using cutting (Expandir a busca), sine fitting (Expandir a busca), using lifting (Expandir a busca)
2
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Acessar documento
Acessar documento
Dissertação
3
4
5
6
7
8
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Acessar documento
Acessar documento
9
10
11
12
13
15
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Acessar documento
Acessar documento
Tese
16
17
18
19
20