形式手法モデル理論アプローチ モデル編 第２版

情報システム開発の基礎

日科技連出版社
高原康彦　齋藤敏雄　旭貴朗　柴直樹　竹田信夫　高木徹　

• 価格: 2,420円（本体2,200円＋税）
• 発行年月: 2016年02月
• 判型: Ａ５
• ISBN: 9784817195722

内容情報

[BOOKデータベースより]

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

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