サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【HB】丸善丸の内本店×hontoブックツリー 「本」の本 ポイント5倍キャンペーン(~4/25)

アウトレットブック ポイント5倍キャンペーン ~5/5

目次

  • 1章 論理で考える
    • 1.1 形式手法の概要
    • 1.2 発展の経緯
  • 2章 指先で考える
    • 2.1 Alloy入門
    • 2.2 Alloyの基礎
    • 2.3 Alloyとその周り
  • 3章 機能仕様を論理で考える
    • 3.1 手続きとデータ構造
    • 3.2 正しさの基準
  • 4章 リファインメントを検査する
    • 4.1 リファインメントとは
    • 4.2 リファインメントの基礎
    • 4.3 リファインメント検査
  • 5章 オブジェクト指向デザインを検査する
    • 5.1 クラス図とOCL
    • 5.2 モデリング言語OCL
    • 5.3 オブジェクト指向概念と形式手法
  • 6章 振る舞い仕様を検査する
    • 6.1 状態遷移システム
    • 6.2 時相的な振る舞いの自動解析
  • 7章 プログラム検査を論理で考える
    • 7.1 プログラムの意味
    • 7.2 プログラムの検証
    • 7.3 テストケースの自動生成
  • 付録 モデル規範形式手法の流れ
    • A.1 概要
    • A.2 VDM
    • A.3 Z記法とBメソッド
    • A.4 集合ベースの方法

システム開発・設計 ランキング

システム開発・設計のランキングをご紹介します一覧を見る

前へ戻る

次に進む