NASA NTRS · 19740013718
Specifications and programs for computer software validation
Abstract
Three software products developed during the study are reported and include: (1) FORTRAN Automatic Code Evaluation System, (2) the Specification Language System, and (3) the Array Index Validation System.
Keep this discovery
Explore connections, maps & timelines
Browne, J. C., Kleir, R., Davis, T., Henneman, M., Haller, A., Lasseter, G. L.. 1973-11-20. Specifications and programs for computer software validation. https://ntrs.nasa.gov/citations/19740013718
Cite the original work for its findings. Save a collection to share your selection of sources.