The Community for Technology Leaders
Green Image
Issue No. 06 - June (2006 vol. 39)
ISSN: 0018-9162
pp: 95-97
Gerard J. Holzmann , NASA/JPL Laboratory for Reliable Software
ABSTRACT
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.
INDEX TERMS
software technologies, coding rules, software development
CITATION
Gerard J. Holzmann, "The Power of 10: Rules for Developing Safety-Critical Code", Computer, vol. 39, no. , pp. 95-97, June 2006, doi:10.1109/MC.2006.212
188 ms
(Ver 3.1 (10032016))