The Power of 10: Rules for Developing Safety-Critical Code

	This Article
	Subscribers, please Login Purchase article: $19 PDF HTML IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Gerard J. Holzmann

June 2006 (vol. 39 no. 6)

pp. 95-97

	ASCII Text	x
	Gerard J. Holzmann, "The Power of 10: Rules for Developing Safety-Critical Code," Computer, vol. 39, no. 6, pp. 95-97, June, 2006.

	BibTex	x
	@article{ 10.1109/MC.2006.212, author = {Gerard J. Holzmann}, title = {The Power of 10: Rules for Developing Safety-Critical Code}, journal ={Computer}, volume = {39}, number = {6}, issn = {0018-9162}, year = {2006}, pages = {95-97}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.212}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - Computer TI - The Power of 10: Rules for Developing Safety-Critical Code IS - 6 SN - 0018-9162 SP95 EP97 EPD - 95-97 A1 - Gerard J. Holzmann, PY - 2006 KW - software technologies KW - coding rules KW - software development VL - 39 JA - Computer ER -

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.

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.