No, they would not. The kind of software development done in aerospace is very, very different from the commercial industry at large. Writing 20 lines per week might be considered a breakneck pace because of all the formal verification that needs to be done on every single line.
No, they would not. The kind of software development done in aerospace is very, very different from the commercial industry at large. Writing 20 lines per week might be considered a breakneck pace because of all the formal verification that needs to be done on every single line.