独立検証及び妥当性確認と形式手法がもたらすソフトウェア開発プロセスの高信頼化

DOI Web Site 1 Citations
  • Yamamoto Shuichiro
    Headquarter of Information and Communication Services Information and Communication Planning Office, Nagoya University

Bibliographic Information

Other Title
  • 独立検証及び妥当性確認と形式手法がもたらす<BR>ソフトウェア開発プロセスの高信頼化
  • ドクリツ ケンショウ オヨビ ダトウセイ カクニン ト ケイシキ シュホウ ガ モタラス ソフトウェア カイハツ プロセス ノ コウシンライカ

Search this article

Abstract

重要なシステムの事故が後を絶たない。このため、ソフトウェアの独立検証及び妥当性確認（IV&V※1）が注目されている。本稿では、ソフトウェア独立検証及び妥当性確認の重要性を示すと共に、形式手法が持つ客観性がIV&Vでも必要になることを示す。また我が国における独立検証及び妥当性確認の先駆的な事例を紹介し、これらの事例に共通する「ソフトウェア開発プロセス改革」の核心を明らかにする。

Journal

  • SEC journal

    SEC journal 6 (3), 146-149, 2010

    INFORMATION-TECHNOLOGY PROMOTION AGENCY,JAPAN

Citations (1)*help

See more

Details 詳細情報について

Report a problem

Back to top