Buscas alternativas:
componente code » componente conexa (Expandir a busca), componente modelo (Expandir a busca), componente acido (Expandir a busca)
casting python » casting method (Expandir a busca), using python (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
using casting » using resting (Expandir a busca), using cutting (Expandir a busca), using coating (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
componente code » componente conexa (Expandir a busca), componente modelo (Expandir a busca), componente acido (Expandir a busca)
casting python » casting method (Expandir a busca), using python (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
using casting » using resting (Expandir a busca), using cutting (Expandir a busca), using coating (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (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
13
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Acessar documento
Acessar documento
Tese
14
15
16
17
18
19
20