形式手法モデル理論アプローチ : 情報システム開発の基礎

Author(s)

Bibliographic Information

形式手法モデル理論アプローチ : 情報システム開発の基礎

高原康彦 [ほか] 著

日科技連出版社, 2016.2

第2版

  • モデル編
  • 実践編

Title Transcription

ケイシキ シュホウ モデル リロン アプローチ : ジョウホウ システム カイハツ ノ キソ

Available at  / 33 libraries

Note

その他の著者: 齋藤敏雄, 旭貴朗, 柴直樹, 竹田信夫, 高木徹

参考文献: 章末

Description and Table of Contents

Volume

モデル編 ISBN 9784817195722

Description

「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。２００７年に刊行された『形式手法モデル理論アプローチ—情報システム開発の基礎』の改訂第２版。

Table of Contents

  • 第１章　論理的に考える（命題論理；述語論理）
  • 第２章　集合で記述する（集合の表現とその記法；リスト；集合の演算；関係；同値関係；順序関係；関数）
  • 第３章　オートマトンでモデル化する（オートマトン（２００円商品自動販売機）；オートマトンの例（状態がシンボルの場合）；モデル化の実際（状態が数値の場合）；オートマトンの動作と物理実現）
  • 第４章　関係データベースでモデル化する（データベースとは；データベース設計；データベースの構築と操作）
Volume

実践編 ISBN 9784817195739

Description

「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。２００７年に刊行された『形式手法モデル理論アプローチ—情報システム開発の基礎』の改訂第２版。

Table of Contents

  • 第５章　システム開発環境を実現する（言語ＣＡＳＴ（Ｃｏｍｐｕｔｅｒ　Ａｃｃｅｐｔａｂｌｅ　Ｓｅｔ　Ｔｈｅｏｒｙ）；言語ＣＡＳＴの解説およびＭＴＡ‐ＳＤＫの所在；開発実行環境の入手と設置；ＭＴＡ‐ＳＤＫクイックスタート；システム開発環境の操作）
  • 第６章　問題解決システムを開発する（問題解決システム；狼、山羊、キャベツの川渡し問題；水差し問題；巡回セールスマン問題）
  • 第７章　業務処理システムを開発する（業務処理システム；業務処理システムのモデル；業務処理システムの開発；開発例１：書店売掛管理システム；開発例２：酒問屋のシステム）
  • 第８章　シミュレーションシステムを開発する（価格調整システムのシミュレーション；二体力学系のシミュレーション；モデリングの基礎）

by "BOOK database"

Details

  • NCID
    BB20958774
  • ISBN
    • 9784817195722
    • 9784817195739
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    2冊
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top