Showing 1 - 8 results of 8 for search '(( coder the component contract program ) OR ( using coding pythons python programming ))*', query time: 0.86s Refine Results
2
Published 2011
Subjects: ...Program verification...
Access document
6
Published 2010
... of a component annotated with a contract into a system will preserve the correct behavior of the former, avoiding...
Access document
Article
8
Published 2012
...Software Testing is part of software quality assurance activities. It aims to uncover the presence...
Access document
Master thesis
Export CSV Export RIS