[2019-07-02. Modified to add a working link to the Ladkin-Simons paper on Static Deadlock Analysis.] Bloomberg has an interesting article by Peter Robison on the difficulties Boeing seems to have been having with outsourced software development. Such outsourcing has been going on for decades in all sorts of software-dependent companies, and is a well-developed model. Sometimes…