形式手法入門 : ロジックによるソフトウェア設計
著者
書誌事項
形式手法入門 : ロジックによるソフトウェア設計
オーム社, 2012.4
- タイトル別名
-
形式手法入門 : ロジックによるソフトウェア設計
- タイトル読み
-
ケイシキ シュホウ ニュウモン : ロジック ニ ヨル ソフトウェア セッケイ
大学図書館所蔵 件 / 全88件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[203]-210
索引: p[211]-216
内容説明・目次
目次
- 1章 論理で考える
- 2章 指先で考える
- 3章 機能仕様を論理で考える
- 4章 リファインメントを検査する
- 5章 オブジェクト指向デザインを検査する
- 6章 振る舞い仕様を検査する
- 7章 プログラム検査を論理で考える
- 付録 モデル規範形式手法の流れ
「BOOKデータベース」 より