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

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

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

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

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

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

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

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

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