@techreport{oai:jaxa.repo.nii.ac.jp:00006229,
 author = {奥田, 一実 and 片平, 真史 and 宮本, 祐子 and 石濱, 直樹 and Okuda, Kazumi and Katahira, Masafumi and Miyamoto, Yuko and Ishihama, Naoki},
 month = {Jan},
 note = {Software 4&5 (Independent Verification and Validation) technology has been studied after the space shuttle Challenger accident was occurred. JAXA is also applying new methodologies of 4&5 to software in real space projects. Several techniques have been applied and known as effective approach to high reliability software development in JAXA. In this research, the new methodologies were studied and applied to support project team's software development. As a result of this study, the applicability and effectiveness are confirmed., 資料番号: AA0049057020, レポート番号: JAXA-SP-05-011},
 title = {ソフトウエア4&5(独立検証及び妥当性確認)の研究と実証},
 year = {2006}
}