SPARK User Group 2010

PSP and TSP: Culture and Discipline for High-Assurance Software