Buscas alternativas:
componentes code » componentes cots (Expandir a busca), componentes con (Expandir a busca), componentes modelo (Expandir a busca)
and componentes » and components (Expandir a busca), anos componentes (Expandir a busca), and component (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)
using python » usando python (Expandir a busca), in python (Expandir a busca)
aging using » ageing using (Expandir a busca), imaging using (Expandir a busca), aging nursing (Expandir a busca)
componentes code » componentes cots (Expandir a busca), componentes con (Expandir a busca), componentes modelo (Expandir a busca)
and componentes » and components (Expandir a busca), anos componentes (Expandir a busca), and component (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)
using python » usando python (Expandir a busca), in python (Expandir a busca)
aging using » ageing using (Expandir a busca), imaging using (Expandir a busca), aging nursing (Expandir a busca)
1
“..., offering both advantages and challenges. This dissertation explores the integration of code contracts and...”
Acessar documento
Acessar documento
Dissertação
2
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
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Acessar documento
Acessar documento
Tese
15
16
17
18
“... than 50% (fifty percent) of the maximum rating, two programs obtained between 50 and 70% (fifty and...”
Acessar documento
Acessar documento
Tese
19
20