Gerard J. Holzmann with the Laboratory for Reliable Software at the Jet Propulsion Laboratory has been a frequent contributor to IEEE Software on software development topics. His paper from 2006 on
rules for developing safety-critical code are good advice for anyone working on avionics or medical software applications (via Ward Cunnningham). Denis Radin (@PixelCommander) has also applied these rules to Javascript development.
rules for developing safety-critical code are good advice for anyone working on avionics or medical software applications (via Ward Cunnningham). Denis Radin (@PixelCommander) has also applied these rules to Javascript development.
Links:
- SD Times – Overview of 10 rules
- PixelsCommander – Copy of original 2006 paper
- Wikipedia – Overview of 10 rules
- Igor Markov/UMichigan – Copy of original 2006 paper from Computer.org