Nah that would be Cleanroom, Eiffel Method, or Praxis-s Correct-by-Construction if it's an alternate history focused less on testing. Cleanroom and Praxis got d

Nah that would be Cleanroom, Eiffel Method, or Praxis-s Correct-by-Construction if it's an alternate history focused less on testing. Cleanroom and Praxis got defect rates under 3 per Kloc with either money saved or 30-50% extra cost. http://infohost.nmt.edu/~al/cseet-paper.html http://infohost.nmt.edu/~al/cseet-paper.html https://www.eiffel.com/values/design-by-contract/introduction/ https://www.eiffel.com/values/design-by-contract/introductio... http://www.anthonyhall.org/c_by_c_secure_system.pdf http://www.anthonyhall.org/c_by_c_secure_system.pdf