Showing 1 - 7 results of 7 for search '(( coder the component contract program ) OR ( using modeling vpython python programming ))*', query time: 1.18s Refine Results
3
Published 2011
Subjects: ...Program verification...
Access document
5
Published 2010
... of a component annotated with a contract into a system will preserve the correct behavior of the former, avoiding...
Access document
Article
7
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