Search alternatives:
coupling python » coupling protein (Expand search)
using coupling » running coupling (Expand search), using competing (Expand search), using coupled (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
and component » and components (Expand search), _ component (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder and » code and (Expand search), codes and (Expand search), poder and (Expand search)
coupling python » coupling protein (Expand search)
using coupling » running coupling (Expand search), using competing (Expand search), using coupled (Expand search)
component code » component mode (Expand search), component cone (Expand search), component model (Expand search)
and component » and components (Expand search), _ component (Expand search)
code programs » cone programs (Expand search), care programs (Expand search), income programs (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder and » code and (Expand search), codes and (Expand search), poder and (Expand search)
1
“..., offering both advantages and challenges. This dissertation explores the integration of code contracts and...”
Access document
Access document
Master thesis
2
3
5
6
7
8
9
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Access document
Access document
10
11
12
13
14
15
16
17
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Access document
Access document
Doctoral thesis
18
19
“... than 50% (fifty percent) of the maximum rating, two programs obtained between 50 and 70% (fifty and...”
Access document
Access document
Doctoral thesis
20