Search alternatives:
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)
using script » using scripts (Expand search), during script (Expand search), using scripting (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)
using script » using scripts (Expand search), during script (Expand search), using scripting (Expand search)
1
“... expressed as a pydna script provides a description that is complete, unambiguous and stable. Execution...”
Access document
Access document
Article
2
“..., offering both advantages and challenges. This dissertation explores the integration of code contracts and...”
Access document
Access document
Master thesis
3
4
5
7
8
9
10
11
12
13
14
15
16
17
18
“... of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical...”
Access document
Access document
19
20