Issue No. 06 - June (2006 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.212
Gerard J. Holzmann , NASA/JPL Laboratory for Reliable Software
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
G. J. Holzmann, "The Power of 10: Rules for Developing Safety-Critical Code," in Computer, vol. 39, no. , pp. 95-97, 2006.