Issue No.06 - June (2006 vol.39)
Gerard J. Holzmann , NASA/JPL Laboratory for Reliable Software
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.212
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.
software technologies, coding rules, software development
Gerard J. Holzmann, "The Power of 10: Rules for Developing Safety-Critical Code", Computer, vol.39, no. 6, pp. 95-97, June 2006, doi:10.1109/MC.2006.212