形式手法に基づくソフトウェア開発
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/12/27 06:23 UTC 版)
「ソフトウェアクリーンルーム」の記事における「形式手法に基づくソフトウェア開発」の解説
クリーンルーム開発では、「Box Structure Method」を使ってソフトウェア製品の設計を行う。設計が正しく要求仕様を実装しているかの検証はチームレビューで行う。
※この「形式手法に基づくソフトウェア開発」の解説は、「ソフトウェアクリーンルーム」の解説の一部です。
「形式手法に基づくソフトウェア開発」を含む「ソフトウェアクリーンルーム」の記事については、「ソフトウェアクリーンルーム」の概要を参照ください。
- 形式手法に基づくソフトウェア開発のページへのリンク