Search alternatives:
components code » components model (Expand search), components case (Expand search), components made (Expand search)
coupling python » coupling protein (Expand search)
using coupling » running coupling (Expand search), using competing (Expand search), using coupled (Expand search)
in components » main components (Expand search), and components (Expand search), _ components (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)
code in » code and (Expand search)
components code » components model (Expand search), components case (Expand search), components made (Expand search)
coupling python » coupling protein (Expand search)
using coupling » running coupling (Expand search), using competing (Expand search), using coupled (Expand search)
in components » main components (Expand search), and components (Expand search), _ components (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)
code in » code and (Expand search)
1
“... to integrate code contracts into OCaml programs. The implementation phase of the project is detailed, outlining...”
Access document
Access document
Master thesis
2
3
4
5
6
“... of reusable components, source code in particular, using the faceted classification approach. In addition...”
Access document
Access document
Master thesis
7
8
9
10
11
“... machine code implementations. The front-end of the framework is an interactive verification tool that...”
Access document
Access document
12
13
14
15
“...Background: The Java programming language version eight introduced several features that encourage...”
Access document
Access document
Article
16
“... application of our technique, we investigate the reconstruction of partial C programs. Incomplete source code...”
Access document
Access document
Doctoral thesis
17
18
19
20