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

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

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

獲得ポイント:

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

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

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

商品基本情報

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

商品説明

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

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

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

みんなのレビュー

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

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

  • 週間ランキング

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

  • 日別ランキング

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

ご購入はこちらから

在庫あり

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

あす楽対象商品

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

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

当日便

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

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

3,456円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

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

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

    ※1時間ごとに更新

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

      藤井 直弥

      1,706円(税込)

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

      井上智洋

      864円(税込)

    3. 3
      Microsoft Office Specialist Excel 2016 対策テキスト& 問題集
      Microsoft Office Specialist Excel 2016…

      富士通エフ・オー・エム株式会社 (FOM出…

      2,160円(税込)

    4. 4
      人工知能は人間を超えるか
      人工知能は人間を超えるか

      松尾豊

      1,512円(税込)

    5. 5
      大人のオーディオ大百科 最新版
      大人のオーディオ大百科 最新版

      1,058円(税込)

    1. 1
      VRエンジニア養成読本
      電子書籍VRエンジニア養成読本

      養成読本編集部

      2,354円(税込)

    2. 2
      月200万稼ぐ専業トレーダーが教えるFXの兵法:利益を継続させる3つのテク 2017改訂版 G-201
      電子書籍月200万稼ぐ専業トレーダーが教えるFXの…

      榊 泰造

      100円(税込)

    3. 3
      PMP教科書 Project Management Professional 第5版
      電子書籍PMP教科書 Project Management Professio…

      Kim Heldman

      5,184円(税込)

    4. 4
      シスコ技術者認定教科書 CCNP Routing and Switching ROUTE テキスト&問題集 [対応試験]300-101J
      電子書籍シスコ技術者認定教科書 CCNP Routing an…

      システムアーキテクチュアナレッジ中道賢

      4,752円(税込)

    5. 5
      携帯OS教科書 Androidアプリケーション技術者ベーシック
      電子書籍携帯OS教科書 Androidアプリケーション技…

      山本道子

      4,104円(税込)

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

    このページの先頭へ