Experience Using the Power of Ten Coding Rules¶
McDougall, M., & Holzmann, G. J. (2009). Experience Using the Power of Ten Coding Rules. Software Test & Performance Magazine, 6(10), 12-16.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- The Power of Ten: Rules for Developing Safety-Critical Code
- The 2009 experience report describes the rules as a minimal safety-critical C set designed to leverage static-analysis tools and reports integration into JPL's institutional flight-software coding standard.
This sourceReports operationalization, analysis-oriented design, and integration into JPL's flight-software coding standard.
- The 2009 experience report describes the rules as a minimal safety-critical C set designed to leverage static-analysis tools and reports integration into JPL's institutional flight-software coding standard.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:60719838b21f · see in the full table