ソフトウェア科学基礎: 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 1)
- 近代科学社 (2008年9月1日発売)
本棚登録 : 33人
感想 : 5件
モデル検査は、システム上起こりうる状態を網羅的に調べることによって設計誤りをは発見する自動検証手法の一つである。近年、高品質な検証ツールが開発、利用されている。
読書状況:読み終わった
公開設定:公開
カテゴリ:
システムエンジニアリング
- 感想投稿日 : 2010年3月2日
- 読了日 : 2010年3月2日
- 本棚登録日 : 2010年3月2日
みんなの感想をみる