Buscas alternativas:
clustering python » clustering method (Expandir a busca), clustering methods (Expandir a busca), clustering pattern (Expandir a busca)
componente code » componente conexa (Expandir a busca), componente modelo (Expandir a busca), componente acido (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
clustering python » clustering method (Expandir a busca), clustering methods (Expandir a busca), clustering pattern (Expandir a busca)
componente code » componente conexa (Expandir a busca), componente modelo (Expandir a busca), componente acido (Expandir a busca)
code programs » cone programs (Expandir a busca), care programs (Expandir a busca), income programs (Expandir a busca)
python python » pythons python (Expandir a busca), piton python (Expandir a busca), pitons python (Expandir a busca)
1
3
“... 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
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Acessar documento
Acessar documento
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