【9月22日10時00分~9月25日9時59分まで】  全品ポイント2倍以上! 
組み込みソフトへの数理的アプローチ
  • Googleプレビュー

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

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

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

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

商品基本情報

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

商品説明

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

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

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

みんなのレビュー

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

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

  • 週間ランキング

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

  • 日別ランキング

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

ご購入はこちらから

在庫あり

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

あす楽対象商品

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

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

3,456円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

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

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

    ※1時間ごとに更新

    1. 1
      人工知能と経済の未来
      人工知能と経済の未来

      井上智洋

      864円(税込)

    2. 2
      Excel 最強の教科書[完全版]--すぐに使えて、一生役立つ「成果を生み出す」超エクセル仕事術
      Excel 最強の教科書[完全版]--すぐに使…

      藤井 直弥

      1,706円(税込)

    3. 3
      【入荷予約】スマートフォン疑問と悩み 一発解消!
      【入荷予約】スマートフォン疑問と悩み …

      734円(税込)

    4. 4
      よくわかるMicrosoft Excel 2010基礎
      よくわかるMicrosoft Excel 2010基礎

      富士通エフ・オー・エム株式会社

      2,160円(税込)

    5. 5
      Webサイト、これからどうなるの?
      Webサイト、これからどうなるの?

      こもりまさあき

      2,160円(税込)

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

    このページの先頭へ