![](https://tshop.r10s.jp/book/cabinet/8085/9784789838085.jpg)
組み込みソフトへの数理的アプローチ
形式手法によるソフトウェアの仕様記述と検証
Computer technology
藤倉俊幸
2012年4月30日
CQ出版
3,520円(税込)
パソコン・システム開発
組み込みソフトウェアは年々巨大化し、従来の開発手法では品質が保証できなくなってきています。バグの発生は、ただちにシステムの障害に直結し、社会や人命に重大な損害を与えます。そこで登場した考え方として「形式手法(Formal Method)」があります。数学を基礎とし、プログラムの正しさを証明していこうという考えです。仕様を厳密に定義するための形式仕様記述、モデルの論理的な検証手法である形式検証について、LTSA、Alloy、CBMC、VDMなどの容易に入手できるツールを使いつつ学んでいきます。
本棚に登録&レビュー
登録しました。
close
![readee logo image](https://s3-ap-northeast-1.amazonaws.com/readee-app-front-assets/assets/images/web/logo/lg_readee.png)
ログイン
Readeeのメインアカウントで
ログインしてください
Readeeへの新規登録は
アプリからお願いします
- Webからの新規登録はできません。
- Facebook、Twitterでのログイ
ンは準備中で、現在ご利用できませ
ん。
シェア
X
![](https://d.line-scdn.net/r/web/social-plugin/img/common/line_60.png)
LINE
リンク
楽天ブックスサイト
楽天ブックスアプリ
© Rakuten Group, Inc.
キーワードは1文字以上で検索してください
みんなのレビュー