形式手法モデル理論アプローチ 実践編―情報システム開発の基礎 第2版 [単行本]

形式手法モデル理論アプローチ 実践編―情報システム開発の基礎 第2版 の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次（「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  高原 康彦(タカハラ ヤスヒコ)
  東京工業大学名誉教授
  
  齋藤 敏雄(サイトウ トシオ)
  日本大学生産工学部教授
  
  旭 貴朗(アサヒ タカオ)
  東洋大学経営学部教授
  
  柴 直樹(シバ ナオキ)
  日本大学生産工学部教授
  
  竹田 信夫(チクダ ノブオ)
  中央大学商学部准教授
  
  高木 徹(タカギ トオル)
  千葉工業大学社会システム科学部助教

形式手法モデル理論アプローチ 実践編―情報システム開発の基礎 第2版 の商品スペック