「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。２００７年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第２版。
もくじ情報：第５章　システム開発環境を実現する（言語ＣＡＳＴ（Ｃｏｍｐｕｔｅｒ　Ａｃｃｅｐｔａｂｌｅ　Ｓｅｔ　Ｔｈｅｏｒｙ）；言語ＣＡＳＴの解説およびＭＴＡ‐ＳＤＫの所在；開発実行環境の入手と設置；ＭＴＡ‐ＳＤＫクイックスタート；システム開発環境の操作）；第６章　問題解決システムを開発する（問題解決システム；狼、山羊、キャベツの川渡し問題；水差し問題；巡回セールスマン問題）；第７章　業務処理システムを開発する（業務処理システム；業務処理システムのモデル；業務処理システムの開発；開発例１：書店売掛管理システム；開発例２：酒問屋のシステム）；第８章　シミュレーションシステムを開発する（価格調整システムのシミュレーション；二体力学系のシミュレーション；モデリングの基礎）

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