「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。２００７年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第２版。
もくじ情報：第１章　論理的に考える（命題論理；述語論理）；第２章　集合で記述する（集合の表現とその記法；リスト；集合の演算；関係；同値関係；順序関係；関数）；第３章　オートマトンでモデル化する（オートマトン（２００円商品自動販売機）；オートマトンの例（状態がシンボルの場合）；モデル化の実際（状態が数値の場合）；オートマトンの動作と物理実現）；第４章　関係データベースでモデル化する（データベースとは；データベース設計；データベースの構築と操作）

高原　康彦(タカハラ　ヤスヒコ)
東京工業大学名誉教授