That's just the tiniest tip of the iceberg. Doesn't get into formal specs, verification, validation, etc. This article is often referenced for NASA's software

That's just the tiniest tip of the iceberg. Doesn't get into formal specs, verification, validation, etc. This article is often referenced for NASA's software practices, although it's now almost 20 years old: http://www.fastcompany.com/28121/they-write-right-stuff http://www.fastcompany.com/28121/they-write-right-stuff Is there anything more comprehensive and current than that?