Jump to main content

yr 〜
yr

Search results 21

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V&V guideline packages and procedures. Volume 5 NUREG/CR-6316-Vol.5 TI95 010255 SAIC-95/1028-Vol.5

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V&V guideline packages and procedures. Volume 5 NUREG/CR-6316-Vol.5 TI95 010255 SAIC-95/1028-Vol.5
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010255>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 NUREG/CR-6316-Vol.8 TI95 010257 SAIC-95/1028-Vol.8

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 NUREG/CR-6316-Vol.8 TI95 010257 SAIC-95/1028-Vol.8
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010257>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 NUREG/CR-6316-Vol.4 TI95 010247 SAIC-95/1028-Vol.4

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 NUREG/CR-6316-Vol.4 TI95 010247 SAIC-95/1028-Vol.4
Microform規格・テクニカルリポート類
Hayes, J. E, Miller, L. A, Mirsky, S. M1995<LS-TI95/010247>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 NUREG/CR-6316-Vol.2 TI95 010249 SAIC-95/1028-Vol.2

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 NUREG/CR-6316-Vol.2 TI95 010249 SAIC-95/1028-Vol.2
Microform規格・テクニカルリポート類
Mirsky, S. M, Groundwater, E. H, Hayes, J. E, Miller, L. A1995<LS-TI95/010249>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: User's manual. Volume 7 NUREG/CR-6316-Vol.7 TI95 010256 SAIC-95-1028-Vol.7

Guidelines for the verification and validation of expert system software and conventional software: User's manual. Volume 7 NUREG/CR-6316-Vol.7 TI95 010256 SAIC-95-1028-Vol.7
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010256>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Validation scenarios. Volume 6 NUREG/CR-6316-Vol.6 TI95 010254 SAIC-95/1028-Vol.6

Guidelines for the verification and validation of expert system software and conventional software: Validation scenarios. Volume 6 NUREG/CR-6316-Vol.6 TI95 010254 SAIC-95/1028-Vol.6
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010254>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3 NUREG/CR-6316-Vol.3 TI95 010248 SAIC-95/1028-Vol.3

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3 NUREG/CR-6316-Vol.3 TI95 010248 SAIC-95/1028-Vol.3
Microform規格・テクニカルリポート類
Groundwater, E. H, Miller, L. A, Mirsky, S. M1995<LS-TI95/010248>
National Diet Library

Survey and assessment of conventional software verification and validation methods [microform] / prepared by L.A. Miller, E. Groundwater, S.M. Mirsky (EPRI TR ; 102106)

Survey and assessment of conventional software verification and validation methods [microform] / prepared by L.A. Miller, E. Groundwater, S.M. Mirsky (EPRI TR ; 102106)
Microform図書
1993<YCA-Y 3.N 88:25/6018>
National Diet Library

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: USER'S MANUAL. VOLUME 7. (NUREG ; NUREG/CR-6316-VOL.7)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: USER'S MANUAL. VOLUME 7. (NUREG ; NUREG/CR-6316-VOL.7)
Paper図書
MIRSKY, S.M.(et al.)NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan
  • Author HeadingMIRSKY, S.M.

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: PROJECT SUMMARY. VOLUME 1. (NUREG ; NUREG/CR-6316-VOL.1)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: PROJECT SUMMARY. VOLUME 1. (NUREG ; NUREG/CR-6316-VOL.1)
Paper図書
MIRSKY, S.M.(et al.)NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan
  • Author HeadingMIRSKY, S.M.

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: RATIONALE AND DESCRIPTION OF V&V GUIDELINE PACKAGES AND PROCEDURES. VOLUME 5. (NUREG ; NUREG/CR-6316-VOL.5)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: RATIONALE AND DESCRIPTION OF V&V GUIDELINE PACKAGES AND PROCEDURES. VOLUME 5. (NUREG ; NUREG/CR-6316-VOL.5)
Paper図書
MIRSKY, S.M.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan
  • Author HeadingMIRSKY, S.M.

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: SURVEY AND ASSESSMENT OF CONVENTIONAL SOFTWARE VERIFICATION AND VALIDATION METHODS. VOLUME 2. (NUREG ; NUREG/CR-6316-VOL.2)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: SURVEY AND ASSESSMENT OF CONVENTIONAL SOFTWARE VERIFICATION AND VALIDATION METHODS. VOLUME 2. (NUREG ; NUREG/CR-6316-VOL.2)
Paper図書
MIRSKY, S.M.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan
  • Author HeadingMIRSKY, S.M.

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: VALIDATION SCENARIOS. VOLUME 6. (NUREG ; NUREG/CR-6316-VOL.6)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: VALIDATION SCENARIOS. VOLUME 6. (NUREG ; NUREG/CR-6316-VOL.6)
Paper図書
MIRSKY, S.M.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan
  • Author HeadingMIRSKY, S.M.

Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1 (SAIC ; SAIC-95/1028-VOL.1)

Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1 (SAIC ; SAIC-95/1028-VOL.1)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingHayes, J.E. Miller, L.A. Mirsky, S.M.

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 (SAIC ; SAIC-95/1028-VOL.8)

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 (SAIC ; SAIC-95/1028-VOL.8)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingHayes, J.E. Miller, L.A. Mirsky, S.M.

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 (SAIC ; SAIC-95/1028-VOL.4)

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 (SAIC ; SAIC-95/1028-VOL.4)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingHayes, J.E. Miller, L.A. Mirsky, S.M.

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3 (SAIC ; SAIC-95/1028-VOL.3)

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3 (SAIC ; SAIC-95/1028-VOL.3)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingGroundwater, E.H. Miller, L.A. Mirsky, S.M.

Guidelines for the verification and validation of expert system software and conventional software: Validation scenarios. Volume 6 (SAIC ; SAIC-95/1028-VOL.6)

Guidelines for the verification and validation of expert system software and conventional software: Validation scenarios. Volume 6 (SAIC ; SAIC-95/1028-VOL.6)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingHayes, J.E. Miller, L.A. Mirsky, S.M.

Guidelines for the verification and validation of expert system software and conventional software: User's manual. Volume 7 (SAIC ; SAIC-95-1028-VOL.7)

Guidelines for the verification and validation of expert system software and conventional software: User's manual. Volume 7 (SAIC ; SAIC-95-1028-VOL.7)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingHayes, J.E. Miller, L.A. Mirsky, S.M.

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V ampersand V guideline packages and procedures. Volume 5 (SAIC ; SAIC-95/1028-VOL.5)

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V ampersand V guideline packages and procedures. Volume 5 (SAIC ; SAIC-95/1028-VOL.5)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
  • Author HeadingHayes, J.E. Miller, L.A. Mirsky, S.M.
RSS