Developing Provably-Correct Software Using Formal Methods by 9 Posted on May 22, 2015
SEI Publishes The CERT Guide to Insider Threats Book by 1 Posted on Mar 03, 2012
Acceleration Problems in Cars caused by Software by Posted on Mar 03, 2012
Software is Dead; Long Live Software!
Nov 13, 2014
Peter Wang keynotes on the existential question of what software "is", in an age when hardware ranges from smartphones to bacterial DNA to data centers, and the pragmatic question of how software developers can stay afloat amidst the accelerating pace of hardware disruption.