形式手法モデル理論アプローチ : 情報システム開発の基礎
Author(s)
Bibliographic Information
形式手法モデル理論アプローチ : 情報システム開発の基礎
日科技連出版社, 2016.2
第2版
- モデル編
- 実践編
- Title Transcription
-
ケイシキ シュホウ モデル リロン アプローチ : ジョウホウ システム カイハツ ノ キソ
Available at / 34 libraries
-
Kwansei Gakuin University Library三田
モデル編006.3:1267(2):10074321795,
実践編006.3:1267(2):20074321803 -
Shibaura Institute of Technology Toyosu Library芝図
モデル編007.61/Ta321035033,
実践編007.61/Ta321035034 -
モデル編509.6:Ke273:2016:v.1007222539,
実践編509.6:Ke273:2016:v.2007222548 -
University of Tsukuba Library, Library on Library and Information Science
モデル編007.61-Ta3210016004619,
実践編007.61-Ta3210016004618 -
Institute of Science Tokyo Suzukakedai Library
モデル編007.61/Ke/1300644295,
実践編007.61/Ke/2300644309 -
Tokyo Metropolitan University Library
モデル編/007.6/Ta32k/110004570181,
実践編/007.6/Ta32k/210004570190 -
Tokyo University of Agriculture and Technology Koganei Library
モデル編548.96/KN60858928,
実践編548.96/KN60858931 -
Doshisha University Library (Imadegawa)
モデル編007.61||T9734||1169200563,
実践編007.61||T9734||2169200567 -
Hosei University Koganei Library図
モデル編007.61/Ta32/123011000034916,
実践編007.61/Ta32/223011000034924 -
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
その他の著者: 齋藤敏雄, 旭貴朗, 柴直樹, 竹田信夫, 高木徹
参考文献: 章末
Description and Table of Contents
- Volume
-
モデル編 ISBN 9784817195722
Description
Table of Contents
- 第1章 論理的に考える(命題論理;述語論理)
- 第2章 集合で記述する(集合の表現とその記法;リスト;集合の演算;関係;同値関係;順序関係;関数)
- 第3章 オートマトンでモデル化する(オートマトン(200円商品自動販売機);オートマトンの例(状態がシンボルの場合);モデル化の実際(状態が数値の場合);オートマトンの動作と物理実現)
- 第4章 関係データベースでモデル化する(データベースとは;データベース設計;データベースの構築と操作)
- Volume
-
実践編 ISBN 9784817195739
Description
Table of Contents
- 第5章 システム開発環境を実現する(言語CAST(Computer Acceptable Set Theory);言語CASTの解説およびMTA‐SDKの所在;開発実行環境の入手と設置;MTA‐SDKクイックスタート;システム開発環境の操作)
- 第6章 問題解決システムを開発する(問題解決システム;狼、山羊、キャベツの川渡し問題;水差し問題;巡回セールスマン問題)
- 第7章 業務処理システムを開発する(業務処理システム;業務処理システムのモデル;業務処理システムの開発;開発例1:書店売掛管理システム;開発例2:酒問屋のシステム)
- 第8章 シミュレーションシステムを開発する(価格調整システムのシミュレーション;二体力学系のシミュレーション;モデリングの基礎)
by "BOOK database"