Systematic Techniques for Inspecting Critical Software
Systematic Techniques for Inspecting Critical Software
D. Parnas
1999 · DOI: 10.1109/TOOLS.1999.10078
International Conference on Software Technology: Methods and Tools · 0 Citations
TLDR
A procedure for inspecting software that consistently finds subtle errors in software that was believed to be correct is described, developed and used to inspect safety-critical software in a nuclear power plant, and improved based on that experience.