News for hackers. Stuff that matters.
Re:How the Boeing 737 Max disaster looks to a software Devel... by tluyben2 on Thursday April 18, 2019 @04:56PM (#19694686)
If the spec is complex you are probably proving the bugs in the spec are indeed correctly implemented...

Edit: that said, spending the formal spec time will probably reduce the number of bugs far below than what we find normal now. But money...

There are no comments on this comment yet.