Can New Software Testing Frameworks Bring Us to Provably Correct Software?
Sixty-five years after the birth of ENIAC, software controls airplanes, pacemakers and missile systems--and it's buggy. Nonetheless, provably correct software has come a long way, and a variety of emerging software testing frameworks and methodo
13 Feb 2013 10 mins
Agile Development
IT Governance
IT Governance Frameworks