楽天ブックス限定お買いものパンダしおりプレゼントキャンペーン
組み込みソフトへの数理的アプローチ
  • Googleプレビュー

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

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

獲得ポイント:

楽天ブックス初めてご利用の方限定!

初めて利用&条件達成でポイント最大10倍

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

商品基本情報

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

商品説明

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

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

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

みんなのレビュー

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

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

  • 週間ランキング

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

  • 日別ランキング

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

ご購入はこちらから

在庫あり

あす楽対象商品

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

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

3,456円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

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

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

    ※1時間ごとに更新

    1. 1
      世界一かんたん定番年賀状 2018
      世界一かんたん定番年賀状 2018

      年賀状素材集編集部

      429円(税込)

    2. 2
      SIMフリー完全ガイド
      SIMフリー完全ガイド

      734円(税込)

    3. 3
      デジカメ写真でつくる年賀状ふぉと・ねんが(2018)
      デジカメ写真でつくる年賀状ふぉと・ねん…

      572円(税込)

    4. 4
      かんたん年賀状素材集(2018年版)
      かんたん年賀状素材集(2018年版)

      技術評論社編集部

      1,000円(税込)

    5. 5
      2018年版 年賀状データ集 PACK PREMIUM
      2018年版 年賀状データ集 PACK PREMIUM

      C&R研究所デジタル梁山泊

      1,328円(税込)

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

    このページの先頭へ