According Jet Propulsion Laboratory(JPL) lead scientist Gerard J. Holzmann, a huge amount of arbitrary rules and inconsistent guidelines causes code quality of even the most critical applications to suffer. “The Power of Ten: Rules for Developing Safety Critical Code” is a paper published which was an outcome of a research that was carried out at […]