Link: как пишут код в NASA

Посмотрел рассказ о том как NASA обеспечивало качество кода для марсохода Curiosity.
Погуглил про JPL Laboratory for Reliable Software (LARS) и набрел на их руководства по написанию кода.

Простые руководства которые непрросто исполнять.

http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_Java.pdf