yr 〜
yr

Search results 14

A framework for performing V&V within reuse-based software engineering [microform] / by Edward A. Addy ([NASA contractor report] ; NASA-CR-203083) (Technical report series)

A framework for performing V&V within reuse-based software engineering [microform] / by Edward A. Addy ([NASA contractor report] ; NASA-CR-203083) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203083>
National Diet Library
  • Subject HeadingSoftware engineering Software reuse Software reliability

The role of independent V&V in upstream software development processes [microform] / by Steve Easterbrook ([NASA contractor report] ; NASA-CR-203082) (Technical report series)

The role of independent V&V in upstream software development processes [microform] / by Steve Easterbrook ([NASA contractor report] ; NASA-CR-203082) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203082>
National Diet Library
  • Subject HeadingSoftware engineering Software reliability Computer systems performance

Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.] ([NASA contractor report] ; NASA-CR-203085) (Technical report series)

Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.] ([NASA contractor report] ; NASA-CR-203085) (Technical report series)
Microform図書
1996<YCA-NAS 1.26:203085>
National Diet Library
  • Subject Heading...on (Computers) Software reliability Fault detection

Evaluation of visualization software [microform] : report NAS-95-005 / Al Globus, Sam Uselton

Evaluation of visualization software [microform] : report NAS-95-005 / Al Globus, Sam Uselton
Microform図書
1995<YCA-NAS 1.26:203388>
National Diet Library
  • Subject HeadingComputerized simulation Flow visualization Software reliability Standardization Algorithms

Software reliability studies [microform] : final report for the period ended October 31, 1994 / by Larry W. Wilson ([NASA contractor report] ; NASA CR-197027)

Software reliability studies [microform] : final report for the period ended October 31, 1994 / by Larry W. Wilson ([NASA contractor report] ; NASA CR-197027)
Microform図書
1994<YCA-NAS 1.26:197027>
National Diet Library
  • Subject HeadingPerformance prediction Program verification (Computers) Reliability analysis Software reliability

Measurement and analysis of failures in computer systems [microform] : thesis ... / by Anshuman Thakur

Measurement and analysis of failures in computer systems [microform] : thesis ... / by Anshuman Thakur
Microform図書
1997<YCA-NAS 1.26:206187>
National Diet Library
  • Subject Heading...ystem failures Software reliability Computer programs

NASA/ASEE Summer Faculty Fellowship Program [microform] : John F. Kennedy Space Center, University of Central Florida : 1996 research reports : NASA grant NGT10-52605, contractor report no. CR-202756 / editors, Roger Johnson, Gregg Buckingham ([NASA contractor report] ; NASA CR-202756)

NASA/ASEE Summer Faculty Fellowship Program [microform] : John F. Kennedy Space Center, University of Central Florida : 1996 research reports : NASA grant NGT10-52605, contractor report no. CR-202756 / editors, Roger Johnson, Gregg Buckingham ([NASA contractor report] ; NASA CR-202756)
Microform図書
1996<YCA-NAS 1.26:202756>
National Diet Library
  • Subject Heading...ation transfer Software reliability Signal processing Noise reduc...

Quantitative measures for software independent verification and validation [microform] / Alice Lee, Project Technical Manager (NASA techical paper ; 3634)

Quantitative measures for software independent verification and validation [microform] / Alice Lee, Project Technical Manager (NASA techical paper ; 3634)
Microform図書
1996<YCA-NAS 1.60:3634>
National Diet Library
  • Subject Heading...orne computers Software reliability Reliability analysis Software...

UNIX-based operating systems robustness evaluation [microform] / Yu-Ming Chang ([NASA contractor report] ; NASA-CR-201455)

UNIX-based operating systems robustness evaluation [microform] / Yu-Ming Chang ([NASA contractor report] ; NASA-CR-201455)
Microform図書
1996<YCA-NAS 1.26:201455>
National Diet Library
  • Subject Heading...tress analysis Software reliability Program verification (compute...

An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler (NASA technical memorandum ; 110255)

An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler (NASA technical memorandum ; 110255)
Microform図書
1996<YCA-NAS 1.15:110255>
National Diet Library
  • Subject Heading...on (Computers) Software reliability Equations of state Specificat...

NASA software documentation standard [microform] : software engineering program (NASA-STD ; 2100-91)

NASA software documentation standard [microform] : software engineering program (NASA-STD ; 2100-91)
Microform図書
1991<YCA-NAS 1.82:2100-91>
National Diet Library
  • Subject HeadingComputer programs Quality control Software engineering Software reliability Standards Documentation

Software formal inspection standard [microform] (NASA-STD ; 2202-93)

Software formal inspection standard [microform] (NASA-STD ; 2202-93)
Microform図書
1993<YCA-NAS 1.82:2202-93>
National Diet Library
  • Subject Heading...tion Standards Software reliability Quality control Reliability a...

High-integrity software pbk

High-integrity software pbk
Paper図書
edited by C. T. SennettPitman1989.
Other Libraries in Japan

ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証

ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証
Digital文書・図像類
奥田, 一実, 片平, 真史, 宮本, 祐子, 石濱, 直樹, Okuda, Kazumi, Katahira, Masafumi, Miyamoto, Yuko, Ishihama, Naoki宇宙航空研究開発機構2006-01-20宇宙航空研究開発機構特別資料: 平成16年度総合技術研究本部宇宙領域宇宙科学研究本部合同研究成果報告書:先行研究等 = JAXA Special Publication: FY2004 Report of Joint Research Achievements of the Space Division of Institute of Aerospace Technology and Institute of Space and Astronautical Science: Pioneering ResearchJAXA-SP-05-011p.89-90
Other Libraries in Japan
  • Subject Heading... space shuttle software reliability space navigation spacecraft g...

Reached to the end of result.