After Boeing crashes, new attention on the potential flaws of software