In fact, if quality is your main goal and you don't have to prove process compliance you can probably have a much safer product than the compliant competition by just investing the time spent on documenting every process step on writing better requirements, more tests, and refactoring your code to make testing easier. The last point is especially difficult in an environment where every software change needs a requirement.
Could you, though? It's not that they write trivial code just because they have clear specs.
And a simple mistake can make you explode while in space.
Sure, we might have to deal with unclear specs and changing requirements, but even given that most of what we do is 1/1000 to 1/10 the complexity of what NASA programmers do.