NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

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

Back to Results
A methodology for producing reliable software, volume 1An 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.
Document ID
19760022857
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Stucki, L. G. (McDonnell-Douglas Astronautics Co. Huntington Beach, CA, United States)
Moranda, P. B. (McDonnell-Douglas Astronautics Co. Huntington Beach, CA, United States)
Foshee, G. (McDonnell-Douglas Astronautics Co. Huntington Beach, CA, United States)
Kirchoff, M. (McDonnell-Douglas Astronautics Co. Huntington Beach, CA, United States)
Omre, R. (McDonnell-Douglas Astronautics Co. Huntington Beach, CA, United States)
Date Acquired
September 3, 2013
Publication Date
March 1, 1976
Subject Category
Computer Programming And Software
Report/Patent Number
MDC-G6210-VOL-1
NASA-CR-144769
Report Number: MDC-G6210-VOL-1
Report Number: NASA-CR-144769
Accession Number
76N29945
Funding Number(s)
CONTRACT_GRANT: NAS5-20781
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available