News for hackers. Stuff that matters.
Re:Things I Believe About Software Engineering by exdsq on Monday February 03, 2020 @07:25AM (#22223538)
> And NASA software is not that complex if you think about it; at least it has fixed requirements; once they ship it, it's done. No more changes.

Nope, they still make changes. This is a case study for a company that helped debug and fix a low-level C bug on the Mars Curiosity Rover as it was traveling to Mars. https://semmle.com/case-studies/semmle-nasa-landing-curiosit...

I work with high-assurance software in the blockchain space and only recently read a paragraph from some old NASA software quality textbook and thought damn.. this is awesome. It's anything but trivial!

There are no comments on this comment yet.