NASA NTRS · 19760022857
A methodology for producing reliable software, volume 1
Abstract
An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software.
Keep this discovery
Explore connections, maps & timelines
Stucki, L. G., Moranda, P. B., Foshee, G., Kirchoff, M., Omre, R.. 1976-03-01. A methodology for producing reliable software, volume 1. https://ntrs.nasa.gov/citations/19760022857
Cite the original work for its findings. Save a collection to share your selection of sources.