NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Application of Artificial Intelligence technology to the analysis and synthesis of reliable software systemsThe development of a methodology for the production of highly reliable software is one of the greatest challenges facing the computer industry. Meeting this challenge will undoubtably involve the integration of many technologies. This paper describes the use of Artificial Intelligence technologies in the automated analysis of the formal algebraic specifications of abstract data types. These technologies include symbolic execution of specifications using techniques of automated deduction and machine learning through the use of examples. On-going research into the role of knowledge representation and problem solving in the process of developing software is also discussed.
Document ID
19880025318
Document Type
Conference Paper
Authors
Wild, Christian (Old Dominion University Norfolk, VA, United States)
Eckhardt, Dave (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
August 13, 2013
Publication Date
January 1, 1987
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Report/Patent Number
AIAA PAPER 87-2792
Meeting Information
AIAA Computers in Aerospace Conference(Wakefield, MA)
Distribution Limits
Public
Copyright
Other