形式手法モデル理論アプローチ : 情報システム開発の基礎
著者
書誌事項
形式手法モデル理論アプローチ : 情報システム開発の基礎
日科技連出版社, 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データベース」 より