Guidelines for the verification and validation of expert system software and conventional software. Volume 8: Bibliography -- Final report
Technical Report
·
OSTI ID:72906
- Science Applications International Corp., McLean, VA (United States)
Reliable software is required for nuclear power industry applications. Verification and validation techniques applied during the software development process can help eliminate errors that could inhibit the proper operation of digital systems and cause availability and safety problems. Most of the techniques described in this report are valid for conventional software systems as well as for expert systems. This volume contains all of the technical references found in Volumes 1--7 concerning the development of guidelines for the verification and validation of expert systems, knowledge-based systems, other AI systems, object-oriented systems, and conventional systems. Approximately 700 refs.
- Research Organization:
- Electric Power Research Inst., Palo Alto, CA (United States); Science Applications International Corp., McLean, VA (United States)
- Sponsoring Organization:
- Electric Power Research Inst., Palo Alto, CA (United States)
- OSTI ID:
- 72906
- Report Number(s):
- EPRI-TR--103331-V8
- Country of Publication:
- United States
- Language:
- English
Similar Records
Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8
Guidelines for the verification and validation of expert system software and conventional software. Volume 7, User`s manual: Final report
Guidelines for the verification and validation of expert system software and conventional software. Volume 1: Project summary. Final report
Technical Report
·
Tue Feb 28 23:00:00 EST 1995
·
OSTI ID:42511
Guidelines for the verification and validation of expert system software and conventional software. Volume 7, User`s manual: Final report
Technical Report
·
Mon May 01 00:00:00 EDT 1995
·
OSTI ID:80353
Guidelines for the verification and validation of expert system software and conventional software. Volume 1: Project summary. Final report
Technical Report
·
Mon May 01 00:00:00 EDT 1995
·
OSTI ID:83817