QUALITY MEASURES AND ASSURANCE FOR AI (ARTIFICIAL INTELLIGENCE) SOFTWARE Final Report | 東京工業大学附属図書館文献データベース

Blank Cover Image

QUALITY MEASURES AND ASSURANCE FOR AI (ARTIFICIAL INTELLIGENCE) SOFTWARE Final Report

Author(s):: Rushby, John ( SRI International Corp. )
Publication title:: NASA Technical Reports(N88-)
Pub. Year:: 1988
Issue:: NASA-CR-4187
No.:: H1/61 0166295
Pt.:: NAS1.26:4187
Paper no.:: N88-30304
Page(from):: 1
Page(to):: 139
Pages:: 139
Pub. info.:: National Aeronautics and Space Administration
Language:: English
Type:: Technical Paper

Details

TDL ID:	ZA00001424
Note for article:	NAS1-17067

Similar Items:

1 Technical Paper FORMAL VERIFICATION OF AI SOFTWARE Final Report Rushby, John et al. National Aeronautics and Space Administration	7 Technical Paper APPLICATIONS OF ARTIFICIAL INTELLIGENCE TO SPACE STATION: GENERAL PURPOSE INTELLIGENT SENSOR INTERFACE Final Report, 1987-1988 McKee, James W. National Aeronautics and Space Administration
2 Technical Paper SPECIFYING REAL-TIME SYSTEMS WITH INTERVAL LOGIC Final Report Rushby, Jhon National Aeronautics and Space Administration	8 Technical Paper LASER TRANSIT ANEMOMETER SOFTWARE DEVELOPMENT PROGRAM Final Report Abbiss, John B. National Aeronautics and Space Administration
3 Technical Paper LANGUAGES FOR ARTIFICIAL INTELLIGENCE: IMPLEMENTING A SCHEDULER IN LISP AND IN Ada Final Report Hays, Dan National Aeronautics and Space Administration	9 Technical Paper SOFTWARE QUALITY ASSURANCE WORKSTATION * National Aeronautics and Space Administration
4 Technical Paper APPLICATIONS OF ARTIFICIAL INTELLIGENCE TO MISSION PLANNING Final Technical Progress Report * National Aeronautics and Space Adminstration	10 Technical Paper Software quality assurance plan for GCS Duncan, Stephen E., Bailey, Elizabeth K. National Aeronautics and Space Adminstration
5 Technical Paper RECOMMENDATIONS FOR NASA RESEARCH AND DEVELOPMENT IN ARTIFICIAL INTELLIGENCE Final Report Brown, Dabid R. National Aeronautics and Space Administration	11 Technical Paper Formal methods and their role in digital systems validation for airborne systems Rushby, John National Aeronautics and Space Adminstration
6 Technical Paper QUALITY ASSURANCE OF CERAMIC MATERIALS AND GAS TURBINE COMPONENTS Final Report Reiter, H. National Aeronautics and Space Administration	12 Technical Paper Formal Specification and Verification of a Fault-Masking and Trasient-Recovery Model for Digital Flight-Control Systems Rushby, John National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12