NTRS - NASA Technical Reports Server

Back to Results
Error Free SoftwareA mathematical theory for development of "higher order" software to catch computer mistakes resulted from a Johnson Space Center contract for Apollo spacecraft navigation. Two women who were involved in the project formed Higher Order Software, Inc. to develop and market the system of error analysis and correction. They designed software which is logically error-free, which, in one instance, was found to increase productivity by 600%. USE.IT defines its objectives using AXES -- a user can write in English and the system converts to computer languages. It is employed by several large corporations.
Document ID
Document Type
Date Acquired
August 20, 2013
Publication Date
January 1, 1985
Publication Information
Publication: Spinoff 1985
Subject Category
Computer Programming and Software
Distribution Limits
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 20020090805.pdf STI