形式手法モデル理論アプローチ : 情報システム開発の基礎
著者
書誌事項
形式手法モデル理論アプローチ : 情報システム開発の基礎
日科技連出版社, 2016.2
第2版
- モデル編
- 実践編
- タイトル読み
-
ケイシキ シュホウ モデル リロン アプローチ : ジョウホウ システム カイハツ ノ キソ
大学図書館所蔵 件 / 全34件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
その他の著者: 齋藤敏雄, 旭貴朗, 柴直樹, 竹田信夫, 高木徹
参考文献: 章末
内容説明・目次
- 巻冊次
-
モデル編 ISBN 9784817195722
内容説明
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ—情報システム開発の基礎』の改訂第2版。
目次
- 第1章 論理的に考える(命題論理;述語論理)
- 第2章 集合で記述する(集合の表現とその記法;リスト;集合の演算;関係;同値関係;順序関係;関数)
- 第3章 オートマトンでモデル化する(オートマトン(200円商品自動販売機);オートマトンの例(状態がシンボルの場合);モデル化の実際(状態が数値の場合);オートマトンの動作と物理実現)
- 第4章 関係データベースでモデル化する(データベースとは;データベース設計;データベースの構築と操作)
- 巻冊次
-
実践編 ISBN 9784817195739
内容説明
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ—情報システム開発の基礎』の改訂第2版。
目次
- 第5章 システム開発環境を実現する(言語CAST(Computer Acceptable Set Theory);言語CASTの解説およびMTA‐SDKの所在;開発実行環境の入手と設置;MTA‐SDKクイックスタート;システム開発環境の操作)
- 第6章 問題解決システムを開発する(問題解決システム;狼、山羊、キャベツの川渡し問題;水差し問題;巡回セールスマン問題)
- 第7章 業務処理システムを開発する(業務処理システム;業務処理システムのモデル;業務処理システムの開発;開発例1:書店売掛管理システム;開発例2:酒問屋のシステム)
- 第8章 シミュレーションシステムを開発する(価格調整システムのシミュレーション;二体力学系のシミュレーション;モデリングの基礎)
「BOOKデータベース」 より