@techreport{oai:jaxa.repo.nii.ac.jp:00002680,
 author = {奥田, 一実 and 片平, 真史 and 石濱, 直樹 and Okuda, Kazumi and Katahira, Masafumi and Ishihama, Naoki},
 month = {Oct},
 note = {Software IV&V (Independent Verification and Validation) technology has been studied after the space shuttle Challenger accident occurred. JAXA is also applying new methodologies of IV&V 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., 資料番号: AA0048129016, レポート番号: JAXA-RM-04-011},
 title = {ソフトウェアIV&V(独立検証及び有効性確認):プロジェクトに応じた適用技術の研究},
 year = {2004}
}