NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Press Enter or click the Search button to begin your search.

Back to Results
Specifications and programs for computer software validationThree 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.
Document ID
19740013718
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Browne, J. C.
(Information Research Associates, Inc. San Antonio, TX, United States)
Kleir, R.
(Information Research Associates, Inc. San Antonio, TX, United States)
Davis, T.
(Information Research Associates, Inc. San Antonio, TX, United States)
Henneman, M.
(Information Research Associates, Inc. San Antonio, TX, United States)
Haller, A.
(Information Research Associates, Inc. San Antonio, TX, United States)
Lasseter, G. L.
(Information Research Associates, Inc. San Antonio, TX, United States)
Date Acquired
September 3, 2013
Publication Date
November 20, 1973
Subject Category
Computers
Report/Patent Number
NASA-CR-120206
Report Number: NASA-CR-120206
Accession Number
74N21831
Funding Number(s)
CONTRACT_GRANT: NAS8-28084
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available