News for hackers. Stuff that matters.

A comment on How the Boeing 737 Max disaster looks to a software Developer. Parent comment

Re:How the Boeing 737 Max disaster looks to a software Devel... by crimsonalucard on Friday April 19, 2019 @09:41AM (#19699497)
Yes. But for critical software systems, what excuse does one have not to prove that the software does not match the spec. There is no excuse not to test the spec, but what excuse is there not to prove the software?
[ Parent | on HN ]

There are no comments on this comment yet.