組み込みソフトへの数理的アプローチ
  • Googleプレビュー

組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証 (Computer technology)
藤倉俊幸

3,456円(税込)3,200円(税抜) 送料無料

獲得ポイント:

電子書籍版はまだありません。

商品基本情報

  • 発売日:  2012年04月
  • 著者/編集:   藤倉俊幸
  • 出版社:   CQ出版
  • サイズ:  単行本
  • ページ数:  247p
  • ISBNコード:  9784789838085

商品説明

【内容情報】(「BOOK」データベースより)
組み込みソフトウェアは年々巨大化し、従来の開発手法では品質が保証できなくなってきています。バグの発生は、ただちにシステムの障害に直結し、社会や人命に重大な損害を与えます。そこで登場した考え方として「形式手法(Formal Method)」があります。数学を基礎とし、プログラムの正しさを証明していこうという考えです。仕様を厳密に定義するための形式仕様記述、モデルの論理的な検証手法である形式検証について、LTSA、Alloy、CBMC、VDMなどの容易に入手できるツールを使いつつ学んでいきます。

【目次】(「BOOK」データベースより)
第1部 プログラムの基本、論理編(ソフトウェアの正しさをどう証明するか/仕様の形式化のはじめの一歩/推論の正しさの検証/前提が正しいとするとどんな結論を得られるのかー充足問題/真理表から場合分け表へ ほか)/第2部 組み込みの基本、ふるまい編(時間仕様の扱い/数理的アプローチによる開発/論理式のテスト/論理式の実験場を作る、全数チェックへの道/様相論理で変化を扱う ほか)

【著者情報】(「BOOK」データベースより)
藤倉俊幸(フジクラトシユキ)
エンジニアとして約30年活動。博士(学術)はデータ・マイニングの一種で取得。2010年から株式会社エクスモーション勤務(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

在庫あり

午前中に注文完了分は当日発送

あす楽対象商品

のご注文で
送料無料で  にお届け

お急ぎの方へ!まだ間に合います

当日便

午前10時までのご注文+498
 にお届けできます

あす楽利用条件
カード払い、ご自宅への配送に限ります。代引き、コンビニなど一部条件において対象外となります。
詳細は「あす楽」利用条件をご確認ください。

3,456円(税込)3,200円(税抜)

送料無料

個数 
お気に入りに追加

楽天kobo電子書籍版

この商品の電子書籍版は
まだありません。

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ