The Power of Ten—Rules for Developing Safety Critical Code

Holzmann, G. J. (2018). The Power of Ten—Rules for Developing Safety Critical Code. Software Technology: 10 Years of Innovation in IEEE Computer.

Type

Book chapter

Intellectual base

Review or monograph

Year

2018

DOI

10.1002/9781119174240.ch10

ISBN

9781119174240

Link

https://onlinelibrary.wiley.com/doi/10.1002/9781119174240.ch10

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 2018 retrospective reports that the rules entered JPL's institutional coding standard, were used on multiple missions, and underwent enforcement adjustments informed by practice.

    This sourceRetrospective on institutional adoption, mission use, objections, and enforcement modifications.

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.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://doi.org/10.1002/9781119174240.ch10 ×1

Registry ID ref:1a07e52231e0 · see in the full table