News for hackers. Stuff that matters.

A comment on Boeing's 737 Max Software Outsourced to $9-an-Hour Engineers. Parent comment

Re:Boeing's 737 Max Software Outsourced to $9-an-Hour Engineers by nutjob2 on Saturday June 29, 2019 @01:25PM (#20313689)
It also has a user interface. Are you saying it's possible to formally quantify human behaviour as well?
[ Parent | on HN ]
Re:Boeing's 737 Max Software Outsourced to $9-an-Hour Engineers by hobofan on Saturday June 29, 2019 @02:51PM (#20314117)
Every program has a inputs, and with that some more ore less direct version of a user interface. You define the acceptable input values and then define what happens with unacceptable ones (and same for combinations).

If that were not verifiable, then no program would be.

[ Parent | on HN ]