A huge amount of arbitrary rules and inconsistent guidelines causes code quality of even the most critical applications to suffer, according JPL lead scientist Gerard J. Holzmann. That’s why the lab has released ten coding commandments to govern all NASA software: “The Power