NASA NTRS · 19760015858
NASA software specification and evaluation system design, part 2
Abstract
A survey and analysis of the existing methods, tools and techniques employed in the development of software are presented along with recommendations for the construction of reliable software. Functional designs for software specification language, and the data base verifier are presented.
Keep this discovery
Explore connections, maps & timelines
1976-03-19. NASA software specification and evaluation system design, part 2. https://ntrs.nasa.gov/citations/19760015858
Cite the original work for its findings. Save a collection to share your selection of sources.