The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (2006 vol.39)
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. 6, pp. 95-97, June 2006, doi:10.1109/MC.2006.212
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool