3 ms·
See six steps to success section of my write-up of Dr. Holzmann's talk on how JPL builds reliable software. http://www.verticalsysadmin.com/making_robust_softwa
by atsaloli 13y ago
See six steps to success section of my write-up of Dr. Holzmann's talk on how JPL builds reliable software. http://www.verticalsysadmin.com/making_robust_software/ http://www.verticalsysadmin.com/making_robust_software/
The clever idea is to make your coding standard mechanically verifiable.
- martinvanaken 13y agoThanks, nice list, summarize a good part of the best practices in a short form. Will quote.
- atsaloli 13y agoExcellent, you are most welcome. I need to write a shorter version, to make the data more broadly accessible.