NASA NTRS · 19760015857
NASA software specification and evaluation system design, part 1
Abstract
The research to develop methods for reducing the effort expended in software and verification is reported. The development of a formal software requirements methodology, a formal specifications language, a programming language, a language preprocessor, and code analysis tools are discussed.
Keep this discovery
Explore connections, maps & timelines
1976-03-19. NASA software specification and evaluation system design, part 1. https://ntrs.nasa.gov/citations/19760015857
Cite the original work for its findings. Save a collection to share your selection of sources.